Automata theory 6 Data structures 6 Timed automata 6 Computer aided software engineering 4 Distributed timed model checking 4 Algorithms 2 Computer architecture 2 Computer simulation 2 Control equipment 2 DBM 2 Data storage equipment 2 Difference Bound Matrices 2 Difference Bound Matrices (DBM) 2 Difference bound matrices 2 Distributed computer systems 2 Distributed time model checking 2 Formal logic 2 Hypervolume approximation 2 KRONOS 2 Kronos 2 Load-balance 2 Model checking 2 Program processors 2 Reachability 2 Real time systems 2 Reconfiguration 2 Redistribution 2 Timed systems 2 Topology 2 Verification 2