National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing, China;
National Engineering Research Center of Rail Transportation Operation and Control System, Beijing Jiaotong University, Beijing, China;
Chinese Academy of Science, Institute of Software, Beijing, China;
State Key Laboratory of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, China;
Monitoring; Automata; Software; Rail transportation; Runtime; Switches;
机译:使用参数定时自动机对存储电路的遗传架构进行定时验证
机译:参数运行时验证是NP完整和coNP完整的
机译:来自高级应用程序域(软件之外)的运行时验证挑战的调查
机译:具有参数定时自动机的铁路互锁软件的运行时验证
机译:自适应软件的运行时验证和确认框架。
机译:嵌入式实时系统的运行时验证
机译:具有实时约束的安全关键铁路联锁系统的验证