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