Formal Methods for the Verification of Distributed Timed Systems

Computer Science

1. Events 100%
2. Timed Automaton 80%
3. Automaton 60%
4. Real Time Systems 60%
5. Temporal Logic 20%
6. Transition System 15%
7. State Space 10%
8. Reasoning 10%
9. Standards 10%
10. Semantics 10%
11. Recursive Model 5%
12. Telecommunication Network 5%
13. Independent Support 5%
14. Clock Synchronization 5%
15. Atomic Proposition 5%
16. Substitution Principle 5%
17. Traffic Light Controller 5%
18. Finite Automata 5%
19. Model Checking 5%
20. Classical Theory 5%
21. Modeling 5%
22. Roles 5%
23. Models 5%
24. Distributed Model 5%
25. Records 5%
26. Efficient Algorithm 5%