Dependability analysis of DES based on MARTE and UML state machines models.

José Merseguer Simona Bernardi

Published in: Discret. Event Dyn. Syst. (2012)

Keyphrases

state machines
state machine
complex systems
software systems
metamodel
data structure
relational databases
software development
conceptual models