embedded systems; object-oriented modeling; co-simulation;
机译:基于功能样机接口协同仿真的海洋操作系统虚拟原型面向对象建模方法
机译:嵌入式系统协同建模和协同仿真的正式方法
机译:复杂嵌入式系统的硬件/软件共同设计 - 一种使用高效流程模型,多种形式主义规范和通过共模验证的方法
机译:面向对象的嵌入式系统建模与共模
机译:用于形式化嵌入式系统开发的面向对象的建模符号的通用框架。
机译:多尺度建模中电化学系统协同仿真的多速率方法
机译:异构嵌入式系统的多视图协同建模和协同仿真框架