机译:嵌入式和混合系统的正式设计
School of Computing, National University of Singapore, Singapore;
formal methods; timed hybrid systems; TCOZ;
机译:基于细化验证理论的混合模型嵌入式系统的正式发展方法
机译:基于细化验证理论的混合模型嵌入式系统的正式发展方法
机译:利用形式化技术设计和优化多时钟嵌入式系统
机译:全栈嵌入式系统设计中流形式规范的测试和调试方法
机译:嵌入式控制系统设计和验证的正式方法:应用于自动驾驶汽车。
机译:使用无线嵌入式EEG系统的生物医学网络物理系统应用程序的混合脑机接口
机译:嵌入式系统形式化和非正式设计的双向路径