Formal methods ; Co-simulation ; Embedded systems ; Resilience ; Fault tolerance ; Dependability ; Computer systems programs;
机译:嵌入式系统协同建模和协同仿真的正式方法
机译:复杂嵌入式系统的硬件/软件共同设计 - 一种使用高效流程模型,多种形式主义规范和通过共模验证的方法
机译:实时嵌入式系统的建模可靠性功能
机译:可靠嵌入式系统开发中的协同建模和协同仿真
机译:可靠的嵌入式硬件系统的抽象解释器建模和验证方法。
机译:多尺度建模中电化学系统协同仿真的多速率方法
机译:可靠嵌入式系统开发中的协同建模和协同仿真
机译:计算科学:嵌入式系统协同建模和协同仿真的形式化方法