Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
1
Computation theory
1
Computer architecture
1
Computer software
1
Distributed computer systems
1
Distributed timed model-checker
Graph theory
1
Mathematical models
Matrix algebra
1
Model-checking
1
Problem solving
1
Program processors
1
Real time systems
1
Set theory
1
Time-consuming tasks
1
Timed automata
1
-
1Materias: “...Problem solving...”
Artículo publishedVersion