Rockwell Collins Advanced Technology Center;
Rockwell Collins Advanced Technology Center;
Rockwell Collins Advanced Technology Center;
University of Minnesota;
WW Technology Group;
University of Illinois;
cyber-physical systems; design patterns; formal methods; model checking; compositional verification; SysML; AADL; META; DARPA;
机译:Rebeca模型的模型检查,自动抽象和组成验证
机译:用于高级架构系统模型驱动开发的正式架构验证方法
机译:随机混合系统的组成建模与验证框架
机译:建筑模型的组成验证
机译:重构设计模型以进行成分验证,一致性测试和归纳验证。
机译:一种面向服务的体系结构用于集成遗传监管网络的建模和形式验证
机译:建筑模型的组成验证
机译:mETa 2f:概率,组合,多维模型验证(pROmIsE)