behavior model synthesis; constraints; modal transition systems; partial specifications; scenarios;
机译:使用行为轨迹和Petri网构建块的柔性制造系统的建模和逻辑控制器规范
机译:从UML状态机建模服务规范合成分布式协议规范
机译:系统和软件体系结构规范的可执行行为建模,以通知资源决策
机译:从系统规格中合成部分组件级行为模型
机译:从基于方案的需求派生组件级行为模型。
机译:从线性系统的传递函数规范中合成可配置的生化实现
机译:分配代理行为部分规范的顺序决策模型