Adding Form to Real-Time System Specification and Simulation.
Ji Y. LeeKyo Chul KangGerard Jounghyun KimHye J. KimPublished in: Int. J. Softw. Eng. Knowl. Eng. (1999)
Keyphrases
- real time
- high fidelity
- low cost
- simulation model
- mathematical model
- surgical simulation
- qualitative simulation
- control system
- bayesian networks
- high speed
- relational databases
- vision system
- quality of service
- simulation study
- expert systems
- formal specification
- real time systems
- simulation models
- real environment
- social networks
- database