Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer aided software engineering
2
Computer programming languages
2
Real time systems
2
VTS
2
Automata theory
1
Computer aided analysis
1
Computer aided verification techniques
1
Constraint theory
1
Data structures
1
Eclipse plug-in
1
Embedded systems
1
Fundamental modeling
1
Knowledge representation
1
LAPSUS
1
Large scale systems
1
Mathematical models
1
Model checking
1
Multiple system components
1
OBSSLICE
1
Safety critical systems
1
Software engineering
1
Software reliability
1
State machines
1
Systems engineering
1
Technical presentations
1
Timed automata
1
Timed automaton model
1
Timed model checking
1
Unified Modeling Language
1
Verification
1
-
1Materias: “...Systems engineering...”
CONF -
2Materias: “...Computer aided software engineering...”
CONF -
3por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Computer aided software engineering...”
CONF