机译:混合语义组成的反应系统组成基于组件的设计
Budapest Univ Technol & Econ Dept Measurement & Informat Syst Budapest Hungary|MTA BME Lendulet Cyber Phys Syst Res Grp Budapest Hungary;
Budapest Univ Technol & Econ Dept Measurement & Informat Syst Budapest Hungary|MTA BME Lendulet Cyber Phys Syst Res Grp Budapest Hungary;
Budapest Univ Technol & Econ Dept Measurement & Informat Syst Budapest Hungary|MTA BME Lendulet Cyber Phys Syst Res Grp Budapest Hungary;
Budapest Univ Technol & Econ Dept Measurement & Informat Syst Budapest Hungary;
Budapest Univ Technol & Econ Dept Measurement & Informat Syst Budapest Hungary|MTA BME Lendulet Cyber Phys Syst Res Grp Budapest Hungary|McGill Univ Dept Elect & Comp Engn Montreal PQ Canada;
Component-based design; Statecharts; Composition language; Formal semantics; Formal verification;
机译:用于状态图处理的组合式#mu#演算证明系统
机译:柔性反应系统随机状态图表示的性能评估:一种仿真方法
机译:随机StateCharts的性能评估柔性反应系统的代价发出:一种模拟方法
机译:Gamma Statechart组成框架:基于组件的反应系统的设计,验证和代码生成
机译:一种用于分析基于组件的系统中的依存关系的组合方法。
机译:基于组件的管理系统构建的增量组合过程
机译:带状态图的嵌入式系统的组成规范