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