机译:用于嵌入式系统设计和一致性检查的组合行为建模框架
INRIA IRISA, Rennes, France;
Virginia Tech, Blacksburg, VA USA;
Univ Calif San Diego, La Jolla, CA 92093 USA;
embedded system design; formal methods; models of computation; program transformation; verification;
机译:使用软件模型检查来验证协议一致性,以进行嵌入式系统的模型驱动开发
机译:基于运行时模型的实时嵌入式系统检查的设计模式
机译:在不确定环境中运行的嵌入式实时系统的非确定性行为建模框架
机译:基于学习的行为UML系统的组成模型检查
机译:使用可执行模型的移动代理系统的运行时一致性检查。
机译:使用任务分析模型和错误的人的行为发现系统故障的表型使用模型检测
机译:用于嵌入式系统设计和一致性检查的组合行为建模框架