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