C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Towards a formal foundation of behavioral types for UML state-machines.
Jan Olaf Blech
Bernhard Schätz
Published in:
ACM SIGSOFT Softw. Eng. Notes (2012)
Keyphrases
</>
state machines
state machine
sequence diagrams
petri net
fault tolerant
finite state machines
software engineering
object oriented
metamodel
artificial neural networks
modeling language