Login / Signup
ASADAL/SIM: An Incremental Multi-Level Simulation and Analysis Tool for Real-Time Software Specifications.
Kyo Chul Kang
Kwan W. Lee
Ji Y. Lee
Gerard Jounghyun Kim
Published in:
Softw. Pract. Exp. (1998)
Keyphrases
</>
analysis tool
real time
high fidelity
control system
low cost
incremental learning
real environment
high speed
vision system
data acquisition
simulation model
simulation environment
user friendly interface
simulation models
real time systems
formal specification
software architecture
high level
case study