机译:SysML活动图的基于属性的抽象框架
Hardware Verification Croup, Concordia University, Montreal H3C 1M8, Canada ,Computer Security Laboratory, Concordia University, Montreal H3C 1M8, Canada;
Hardware Verification Croup, Concordia University, Montreal H3C 1M8, Canada;
Computer Security Laboratory, Concordia University, Montreal H3C 1M8, Canada;
Probabilistic model checking; SysML activity diagrams; Probabilistic automata; PCTL; Probabilistic relation;
机译:时间约束下的SysML活动图定量验证框架
机译:SysML活动图的正式验证框架
机译:使用对Petri网的形式转换来验证SysML活动图
机译:SysML活动图的高效概率抽象
机译:UML交互图到活动图的基于XMI的转换。
机译:使用逻辑框架方法和鱼骨图的远程医疗评估框架
机译:时间约束下sysmL活动图的定量验证框架