机译:嵌入式软件系统的应用程序和平台行为的形式综合
机译:用于嵌入式集成车辆健康管理应用程序原型的软件框架
机译:HOOFR SLAM系统:嵌入式视觉SLAM算法及其基于软硬件映射的智能车辆应用
机译:嵌入式控制软件的正式合成:应用于车辆管理系统
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:十三。医院信息系统:G.规划和管理医院信息系统的引入:国防部软件管理技术在医疗软件开发项目中的应用
机译:嵌入式控制软件的形式综合:在车辆管理系统中的应用
机译:多核嵌入式平台能够正确合成关键任务嵌入式软件的形式化方法