Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
4
Model-checking
Real time systems
4
Computation theory
3
Computer architecture
3
Computer software
3
Distributed computer systems
3
Distributed timed model-checker
3
Graph theory
3
Mathematical models
3
Matrix algebra
3
Problem solving
3
Program processors
3
Set theory
3
Time-consuming tasks
3
Timed automata
3
Automata
1
Automatic technique
1
Design
1
Duration properties
1
Interactive computer systems
1
Model checking
1
Physical design
1
Real-time software
1
Real-time system designs
1
Run-time scheduling
1
Scheduling
1
Scheduling theory
1
Specifications
1
Systems analysis
1
-
1Materias: “...Automata theory...”
Artículo publishedVersion -
2Materias: “...Automata theory...”
Artículo publishedVersion -
3Materias: “...Automata theory...”
JOUR -
4Materias: “...Automata theory...”
CONF