Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
2
Abstract reachability trees
1
Abstracting
1
Admissible sequences
1
Behaviour models
1
Level of abstraction
1
Model checker
1
Model checking
1
Non-trivial
1
Software model checkers
1
Software model checking
1
Source codes
1
automated abstraction
1
behaviour model synthesis
1
source code validation
1
-
1por Castano, R., Braberman, V., Garbervetsky, D., Uchitel, S., Nguyen T.N., Rosu G., Di Penta M., College of Engineering; Denso; et al.; Microsoft; NASA; University of Minnesota, Software EngineeringMaterias: “...Software engineering...”
CONF -
2Materias: “...Software engineering...”
CONF