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