Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Computer aided software engineering
Verification
Data structures
4
Model checking
4
Timed automata
4
Alloy Analyzer
2
Alloy analyzers
2
Alloys
2
Analysis and verifications
2
Automata theory
2
Automated analysis
2
Calculations
2
Complex networks
2
Difference Bound Matrices
2
Eclipse plug-in
2
Hypervolume approximation
2
Interoperability
2
Interoperating networks
2
LAPSUS
2
Large scale systems
2
OBSSLICE
2
Proof calculus
2
Real time systems
2
Semiautomatic theorem
2
Software prototyping
2
Specifications
2
Theorem provers
2
Timed model checking
2
VTS
2
ZEUS
2
-
1Materias: “...Computer aided software engineering...”
-
2Materias: “...Computer aided software engineering...”
SER -
3por Cavatorta, Lucía Irene, de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego, Kicillof, Nicolás, Schapachnik, Fernando PabloMaterias: “...Computer aided software engineering...”
Publicado 2006
-
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...”
-
6Materias: “...Computer aided software engineering...”
SER