机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:基于模型的自动水路系统运营设计和形式验证过程
机译:嵌入式电源管理系统中的软件便携性和验证的基于模型的框架
机译:SMAP上行链路的模型验证和验证处理模型的基于模型的开发方法和用于航空航天系统软件的自动验证
机译:基于模型的网络体系系统的组成验证方法和工具开发
机译:研究过程验证的工业方法论(IMPROVER):系统生物学验证
机译:使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
机译:飞行Criticalsystems软件验证和验证的方法开发。阶段1