Login / Signup
An Operator-based Approach to Incremental Development of Conform Protocol State Machines.
Arnaud Lanoix
Dieu Donné Okalas Ossami
Jeanine Souquières
Published in:
Trustworthy Software (2006)
Keyphrases
</>
object oriented
state machines
software engineering
state machine
petri net
knowledge based systems
recurrent networks
multi modal
real time
artificial neural networks
design process