Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Software engineering
4
Artificial intelligence
3
Automated approach
3
Computation theory
3
Learning systems
3
Requirements elicitation
3
Scenario-based specifications
3
Semi-automated
3
Specifications
3
Abstract reachability trees
1
Model checker
1
Software model checkers
1
Software model checking
1
-
1Materias: “...Software engineering...”
Artículo publishedVersion -
2Materias: “...Software engineering...”
Artículo publishedVersion -
3Materias: “...Software engineering...”
SER -
4por 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