Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
4
Computer architecture
4
Distributed computer systems
Real time systems
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: “...Distributed computer systems...”
Artículo publishedVersion -
2Materias: “...Distributed computer systems...”
Artículo publishedVersion -
3Materias: “...Distributed computer systems...”
JOUR -
4Materias: “...Distributed computer systems...”
JOUR