Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Design
Computer software
2
Abstracting
1
Algorithms
1
Anomalous behavior
1
Automata
1
Automata theory
1
Automatic technique
1
Behavior model
1
Behaviour validation
1
Communication
1
Concise representations
1
Duration properties
1
Event-based
1
Formal methods
1
Interactive computer systems
1
Liveness
1
Liveness properties
1
Methodological guidelines
1
Model checking
1
Model-checking
1
Physical design
1
Programming tasks
1
Real time systems
1
Real-time software
1
Real-time system designs
1
Run-time scheduling
1
Scheduling
1
Scheduling theory
1
Software engineering
1
-
1Materias: “...Computer software...”
JOUR -
2Materias: “...Computer software...”
SER -
3Materias: “...Real-time software...”
CONF