...
机译:使用可实例化Petri网的UML行为一致性检查
Université P. and M. Curie LIP6 - CNRS UMR 7606 - 4 Place Jussieu Paris France;
Université P. and M. Curie LIP6 - CNRS UMR 7606 - 4 Place Jussieu Paris France;
Behavioral consistency; UML; Petri nets; Formal verification; Model checking;
机译:使用可实例化Petri网的UML行为一致性检查
机译:UML / MARTE行为模型的时间一致性检查
机译:利用UMLS语义检查UMLS概念之间的语义一致性
机译:基于Petri网技术的UML动态模型一致性检查
机译:使用超级状态分析在多个UML状态图中进行一致性检查。
机译:利用UMLS语义检查UMLS概念中的语义一致性
机译:基于Petri网技术的UML动态模型一致性检查
机译:基于有界模型检验的C和Verilog程序的行为一致性