Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
6
Computer architecture
Distributed computer systems
6
Real time systems
Timed automata
Computation theory
4
Computer software
4
Distributed timed model-checker
4
Graph theory
4
Mathematical models
4
Matrix algebra
4
Model-checking
4
Problem solving
4
Program processors
4
Set theory
4
Time-consuming tasks
4
Computer aided software engineering
2
Computer simulation
2
Data storage equipment
2
Data structures
2
Difference bound matrices
2
Distributed time model checking
2
Distributed timed model checking
2
KRONOS
2
Timed systems
2
ZEUS
2
-
1
-
2
-
3Artículo publishedVersion
-
4Artículo publishedVersion
-
5
-
6