轨道交通联锁领域特定语言的形式化

著录项

• 来源
  《软件学报》 |2020年第6期|1638-1653|共16页
• 作者

  赵梦瑶; 陈小红; 孙海英; 刘静; 陈良育; 周庭梁;

  展开▼
• 作者单位

  上海市高可信计算重点实验室(华东师范大学) 上海200062;

  上海市高可信计算重点实验室(华东师范大学) 上海200062;

  上海市高可信计算重点实验室(华东师范大学) 上海200062;

  上海市高可信计算重点实验室(华东师范大学) 上海200062;

  上海市高可信计算重点实验室(华东师范大学) 上海200062;

  卡斯柯信号有限公司 上海200071;

  展开▼
• 原文格式 PDF
• 正文语种 chi
• 中图分类 程序设计、软件工程;
• 关键词

  联锁系统; 模板重用; 形式化建模; 随机混成自动机; 领域特定语言;