Login / Signup
A Flexible, Extensible Simulation Environment for Testing Real-Time Specifications.
Monica Brockmeyer
Farnam Jahanian
Constance L. Heitmeyer
Elly Winner
Published in:
IEEE Trans. Computers (2000)
Keyphrases
</>
simulation environment
real time
simulation model
simulation tool
simulation tools
highly flexible
high speed
data model
real time embedded systems
virtual space
formal verification
real time systems
data types
lightweight
query language
control system
genetic algorithm