机译:基于抽象方法的分布式嵌入式系统验证的正式框架
ONERA-CERT, Toulouse, France;
distributed embedded systems; timed automata; model checking; abstraction; compositional verification;
机译:基于方法的基于方法的校园楼宇自动化系统的最终用户编程规则验证框架
机译:减少和抽象进行分布式圆形算法正式验证
机译:基于细化验证理论的混合模型嵌入式系统的正式发展方法
机译:在多级抽象中正式验证嵌入式系统设计
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:基于抽象的神经网络验证框架
机译:嵌入式控制系统的设计和验证的正式方法:应用于自动驾驶汽车
机译:用于自适应分布式嵌入式控制系统高可信度设计的框架和工具。分布式嵌入式系统高可信设计的多大学研究计划