On the synthesis of protocol state machines from contracts.

Piotr Kosiuczenko

Published in: MoDELS (2016)

Keyphrases

state machines
state machine
petri net
recurrent networks
fault tolerant
artificial intelligence
supply chain
sequence diagrams
database
social networks
decision making
expert systems
fuzzy logic