Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
Application programs
1
Automata theory
1
Computer aided analysis
1
Computer aided verification techniques
1
Computer programming languages
1
Constraint theory
1
Critical activities
1
Different analysis techniques
1
Diverse techniques
1
Domestic appliances
1
Embedded systems
1
Formal methods
1
Graphical interface
1
Heterogeneous software
1
Mobile phones
1
Real time systems
1
Safety critical systems
1
Software analysis
1
Software artifacts
1
Software failure
1
Specification languages
1
Specifications
1
Systems engineering
1
Timed automaton model
1
VTS
1
-
1Materias: “...Critical activities...”
CONF -
2Materias: “...Safety critical systems...”
CONF