Symbolic Simulation of Real-Time Concurrent Systems.
Farn WangGeng-Dian HuangFang YuPublished in: RTCSA (2003)
Keyphrases
- concurrent systems
- real time
- distributed systems
- temporal logic
- high fidelity
- process algebra
- formal specification
- low cost
- data sets
- simulation study
- model checking
- vision system
- control system
- high level
- mathematical model
- data acquisition
- numerical simulations
- symbolic representation
- real environment
- petri net
- moving target
- video sequences
- symbolic data
- information systems
- transition systems
- symbolic description
- connectionist systems