Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
4
Computer aided software engineering
3
Data structures
3
Real time systems
3
Timed automata
3
Computer aided analysis
2
Model checking
2
VTS
2
Verification
2
ZEUS
2
Computer aided verification techniques
1
Computer architecture
1
Computer programming languages
1
Computer simulation
1
Constraint theory
1
Data storage equipment
1
Difference Bound Matrices
1
Difference bound matrices
1
Distributed computer systems
1
Distributed time model checking
1
Distributed timed model checking
1
Eclipse plug-in
1
Embedded systems
1
Hypervolume approximation
1
KRONOS
1
LAPSUS
1
Large scale systems
1
Modelling elements
1
OBSSLICE
1
Optimization tools
1
-
1Materias: “...Computer aided analysis...”
CONF -
2Materias: “...Computer aided analysis...”
SER -
3Materias: “...Computer aided software engineering...”
SER -
4por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Computer aided software engineering...”
CONF -
5Materias: “...Computer aided software engineering...”
JOUR