Title
DWARF-driven Equivalence Checking of UML Statecharts and Software Components.
Year
Venue
Field
2011
Softwaretechnik-Trends
Formal equivalence checking,UML state machine,Programming language,UML tool,Software engineering,Unified Modeling Language,Computer science,Runtime verification,Applications of UML,System requirements specification,Executable
DocType
Volume
Issue
Journal
31
3
Citations 
PageRank 
References 
0
0.34
2
Authors
6
Name
Order
Citations
PageRank
Patrick Heckeler144.17
Jörg Behrend2123.67
Jürgen Ruf312223.04
Thomas Kropf432659.09
Wolfgang Rosenstiel51462212.32
Roland Weiss6728.98