Sign in
A toolset in Java2 for modelling, prototyping and implementing communicating real-time state machines.
Giancarlo Fortino
Libero Nigro
Published in:
Microprocess. Microsystems (2000)
Keyphrases
</>
state machines
real time
state machine
development process
object oriented
petri net
web services
open source