LIFC, FRE 2661 CNRS, Besangon, France;
LORIA;
INRIA Lorraine CNRS, Nancy, France;
component-based systems; modules; refinement; LTL; properties; composition; verification;
机译:基于组件的模型驱动设计中的细化和验证
机译:基于组件的模型驱动设计中的细化和验证
机译:基于组件的嵌入式系统的合同细化证明系统
机译:通过细化验证基于组件的系统的不变性
机译:基于组件的分布式实时系统的集成时序分析和验证。
机译:可扩展的智能城市系统互操作性的基于组件的建模:以能源需求响应系统集成为例
机译:如何验证和利用基于组件的系统的改进