Login / Signup
An abstract state machine semantics for discrete event simulation.
Gerd Wagner
Published in:
WSC (2017)
Keyphrases
</>
state machine
discrete event simulation
state machines
fault tolerant
semiconductor manufacturing
discrete event
finite state machines
supply chain
real time
model checking
conceptual model
database
cooperative
special case
dynamic systems