Login / Signup
Modeling and verification using UML Statecharts. By Doron Drusinsky. Published by Newnes Publishers, 2006, ISBN 0-7506-7617-5, 306 pages.
Gerald Lüttgen
Published in:
Softw. Test. Verification Reliab. (2008)
Keyphrases
</>
uml models
sequence diagrams
class diagrams
petri net
object oriented
intermediate representation
test cases
search engine
colored petri nets
model checking
class diagram
modeling language
unified modeling language
web pages
formal verification
web documents
social networks