UML; embedded systems; requirement validation; time petri net;
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:具有UML序列图和彩色Petri网的反应系统的基于模型的需求分析
机译:使用UML序列图规范实时系统
机译:映射UML序列图,以时间Petri网进行嵌入式实时系统的需求验证能量约束
机译:通过动态分析实现实时,分布式系统的UML序列图的逆向工程。
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:QoS-UniFrame:基于Petri网的建模方法,可确保分布式实时和嵌入式系统的QoS要求