Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Verification
Model checking
3
Automata theory
2
Computer aided software engineering
2
Data structures
2
Real time systems
2
Specifications
2
Timed automata
2
Automata
1
Automatic technique
1
Behavioral model
1
Behavioral modeling
1
Behavioral properties
1
Computational linguistics
1
Computer hardware description languages
1
Design
1
Difference Bound Matrices
1
Duration properties
1
Eclipse plug-in
1
Formal languages
1
Graphical languages
1
Hypervolume approximation
1
Interactive computer systems
1
LAPSUS
1
Large scale systems
1
Model-checking
1
OBSSLICE
1
Pattern representation
1
Pattern specifications
1
Physical design
1
-
1Materias: “...Computer aided software engineering...”
SER -
2por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Computer aided software engineering...”
CONF -
3Materias: “...Software verification...”
JOUR -
4Materias: “...Real-time software...”
CONF