BIP; timed automata; verification;
机译:BIP框架中基于组件的系统的运行时验证,具有经过正式验证的健全且完整的工具
机译:安全关键型嵌入式系统中基于组件的动态适应建模和验证
机译:使用BIP框架进行严格的基于组件的系统设计
机译:基于组件的模型中的故障检测:使用BIP模型
机译:本地计算机网络数据链路层协议(运营商感知,多次访问,通过令牌环的总线环)的建模和验证。
机译:可扩展的智能城市系统互操作性的基于组件的建模:以能源需求响应系统集成为例
机译:BIP框架中基于组件的系统的运行时验证,具有经过正式验证的健全且完整的工具