...
机译:嵌入式系统设计的正式验证
Formal Verification; Model Checking; Metropolis; Meta-Model; SPIN; LTL;
机译:嵌入式系统设计的正式验证
机译:嵌入式操作系统任务调度程序的正式验证
机译:嵌入式系统的形式验证和确认:基于UML的MADES方法
机译:基于MDE的嵌入式系统设计形式验证
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:网络物理系统中控制模块的正式验证
机译:嵌入式控制系统的设计和验证的正式方法:应用于自动驾驶汽车
机译:可靠嵌入式系统的形式化系统验证