Computer Science
Model Checking
60%
Axiomatization
57%
Process Algebra
52%
Parallel Composition
41%
Decomposition Method
36%
Traffic Management System
36%
Transition System
36%
Case Study
35%
Annotation
34%
Deadlock
33%
discrete-event system
33%
mobile ad-hoc network
32%
Control Requirement
30%
Control Theory
30%
Automaton
26%
Engineering
Supervisory Control
100%
Supervisory Controller
92%
Control Synthesis
51%
Discrete Event Simulation
33%
Roadsides
32%
Matrix Structure
30%
Road Tunnels
30%
Real Life
27%
Large-Scale Systems
20%
Cyber-Physical Systems
18%
Simulation Model
18%
Road
16%
Research Project
15%
Industrial Applications
14%
Model Reduction
14%