Automated Testing; Dependability; Fault Tolerance; Road Vehicles; Safety Critical Systems; Software Testing; System Design; Validation; Verification;
机译:嵌入式电源管理系统中的软件便携性和验证的基于模型的框架
机译:用于设计大型系统的软件:当子元素,组件和相互关系太多而无法跟踪时,如何在创建,验证和分析系统时“自动化”
机译:基于组件的嵌入式操作系统的形式验证
机译:通过分析分量依赖性来改善嵌入式系统的基于模型验证
机译:基于组件的实时嵌入式系统的基于模型的测试技术
机译:故障:用于元编程的Python嵌入式域特定语言用于Metogrogramming便携式硬件验证组件
机译:基于模型的自适应嵌入式系统验证中的组合推理