interlocking system; UML; HCPN; formal model verification;
机译:具有顺序释放功能的联锁系统的正式建模和验证
机译:使用形式化模型的嵌入式系统验证一种基于UML和Maude语言结合使用的方法
机译:嵌入式系统的形式验证和确认:基于UML的MADES方法
机译:通过HCPN的法国铁路联锁系统的形式化建模方法
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:一种基于模型检查的聚类结果有效性验证的形式化算法
机译:通过HCPN的法国铁路联锁系统的形式化建模方法