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