Dept. of Comput. Inf. Sci., Linkoping Univ., Sweden;
机译:嵌入式系统的形式验证和确认:基于UML的MADES方法
机译:嵌入式系统设计:正式模型,验证和综合
机译:辅助电力系统互联网仿真模型的验证方法
机译:使用形式化方法辅助仿真验证嵌入式系统
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:一种使用临床模拟验证安全启发式的方法:识别和预防与使用健康信息系统相关的可能的技术导致的错误
机译:使用形式化方法辅助仿真的嵌入式系统模型验证