School of Computing and Software Engineering Southern Polytechnic State University (SPSU) 1100 S. Marietta Parkway, Marietta, GA 30060;
model checking; UML; XMI; database; promela; SPIN;
机译:转换UML“协作”状态图以进行验证和模拟
机译:验证UML状态图模型的高效算法
机译:验证UML状态图的案例研究:PROFIsafe协议
机译:转换UML“协作”StateCharts进行验证和仿真
机译:用于传达UML状态图的形式化执行语义和严格的分析方法。
机译:UMLS链接到用于医师评估的创作模拟系统
机译:验证UmL状态图模型的有效算法