Title of article :
Simulation-based analysis of UML statechart diagrams: methods and case studies
Author/Authors :
Jiexin Lian، نويسنده , , Zhaoxia Hu and Sol M. Shatz ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2008
Pages :
34
From page :
45
To page :
78
Keywords :
Design analysis UML statecharts Formal methods Petri nets
Journal title :
Software Quality Journal
Serial Year :
2008
Journal title :
Software Quality Journal
Record number :
292896
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=292896
