Formal refinement of extended state machines.

Thomas Fayolle Marc Frappier Régine Laleau Frédéric Gervais

Published in: Refine@FM (2015)

Keyphrases

state machines
state machine
petri net
recurrent networks
reactive systems
recurrent neural networks
formal methods
sequence diagrams
social networks
data structure
artificial intelligence
knowledge base