UML Interactions Meet State Machines - An Institutional Approach.

Alexander Knapp Till Mossakowski

Published in: CALCO (2017)

Keyphrases

state machines
state machine
sequence diagrams
petri net
fault tolerant
finite state machines
higher education
regression testing
artificial intelligence
test cases
metamodel
recurrent networks
intermediate representation
formal methods
database
fuzzy logic
neural network