Qualitative verification of finite and real-time DEVS networks.
Moon Ho HwangPublished in: SpringSim (TMS-DEVS) (2012)
Keyphrases
- real time
- probabilistic networks
- model checking
- social networks
- low cost
- complex networks
- network design
- data sets
- high speed
- vision system
- complex systems
- discrete event
- verification method
- qualitative information
- asynchronous circuits
- network topologies
- cellular networks
- qualitative reasoning
- network model
- qualitative and quantitative