Tokyo Res. Lab., IBM Res., Yamato;
digital simulation; embedded systems; formal specification; formal verification; specification languages; Eclipse based platform; SysML; collaborative simulation; constraint checking; continuous-time behavior; embedded system specification; execution tool; system verification;
机译:协作嵌入式系统的策略逻辑使用策略逻辑对协作嵌入式系统进行规范和验证
机译:具有SysML,Simulink和Simscape Profiles的机器人系统基于模型的开发和仿真
机译:基于模型的SYSML,SIMULINK和SIMSCAPE配置文件的机器人系统的开发与仿真
机译:使用SysML和simulink模型的协同仿真来验证嵌入式系统的规范
机译:基于UML和SysML的系统工程设计模型的验证和确认。
机译:基于生理的药代动力学(PBPK)建模和模拟方法:已发布的模型应用和模型验证的系统评价
机译:基于模型的sysmL,simulink和simscape轮廓的机器人系统开发与仿真
机译:计算科学:嵌入式系统协同建模和协同仿真的形式化方法