机译:计算机辅助复苏算法(CARA)输液泵控制系统的正式规格和分析
机译:跨连续/离散建模界面的连续KAOS,ASM和形式控制系统设计:一个简单的列车停止应用程序
机译:案例失效时系统行为分类的安全性分析方法-在离散列车检测系统中的应用
机译:使用正式方法规范列车控制系统
机译:基于分析冗余的容错飞行控制系统的要求的正式规范。
机译:通过电子学习支持的培训师培训计划通过培训精神科全体人员改善评估和治疗自杀行为的实践指南的应用:一项随机对照试验的研究方案
机译:空中交通中使用的语音通信系统的正式规范控制了使用VDM的轻质正式方法的工业应用
机译:使用指导和控制软件(GCs)实验中的形式化规范。生命关键系统的正规设计和验证技术