formal methods; safety; validation; interlocking; simulation;
机译:使用基于离散事件系统规范的水下战争模拟器对反鱼雷战斗系统的效能进行测量
机译:连锁环触发果蝇神经系统的血统规范和稳定的命运
机译:环环相扣触发果蝇神经系统的血统规范和稳定的命运
机译:互锁系统的VDM规范和验证的模拟器
机译:开发和验证用于增强地热系统的热液力机械模拟器模型。
机译:用于临床应用的肺部生理模拟器验证的系统工程方法
机译:空中交通中使用的语音通信系统的正式规范控制了使用VDM的轻质正式方法的工业应用
机译:VDm ++中分布式实时嵌入式系统的验证支持:技术部门