Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Embedded systems
3
Real time systems
2
Automata theory
1
Automatic programming
1
Behavioral properties
1
Compile time
1
Computer aided analysis
1
Computer aided verification techniques
1
Computer programming languages
1
Computer software
1
Constraint theory
1
Dynamic memory
1
Effective translation
1
Java programming language
1
Java-like programs
1
Memory management
1
Memory organizations
1
Memory region
1
Memory usage
1
Model checking
1
Model checking tools
1
Model driven design
1
Models
1
Parametric forms
1
Petri nets
1
Program variables
1
Property specification language
1
Real-time embedded systems
1
Run-time errors
1
Safety critical systems
1
-
1Materias: “...Real-time embedded systems...”
CONF -
2Materias: “...Embedded systems...”
CONF -
3Materias: “...Embedded systems...”
CONF