学科分类
/ 1
1 个结果
  • 简介:斯德哥尔摩交通管理局(SL),已经批准使用本土公司Prover科技公司的iLock软件生成联锁需求。iLock在采用拖放编辑器或者使用导入文件的标准PC上运行,利用一个正式的规范库,上述规范库定义瑞典联锁系统的基本原则,并且适应SL的需求。

  • 标签: 斯德哥尔摩 联锁软件 应用 LOCK 软件生成 联锁系统