Login / Signup
Specification and Simulation with ExSpect.
Kees M. van Hee
P. M. P. Rambags
Peter A. C. Verkoulen
Published in:
Functional Programming, Concurrency, Simulation and Automated Reasoning (1993)
Keyphrases
</>
simulation environment
relational databases
discrete event simulation
colored petri nets
e learning
knowledge base
markov chain
mathematical model
simulation model
formal specification
collision detection
provably correct