Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Real time systems
Timed automata
Automata theory
8
Computer architecture
6
Distributed computer systems
6
Computation theory
4
Computer aided software engineering
4
Computer software
4
Data structures
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
ZEUS
4
Algebra
2
Computer simulation
2
Data storage equipment
2
Difference bound matrices
2
Distributed time model checking
2
Distributed timed model checking
2
Duration calculus
2
Eclipse plug-in
2
KRONOS
2
LAPSUS
2
Large scale systems
2
-
1
-
2
-
3
-
4
-
5Artículo publishedVersion
-
6Artículo publishedVersion
-
7
-
8
-
9
-
10