Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
16
Software engineering
Specifications
10
Artificial intelligence
4
Automated approach
4
Computation theory
4
Learning systems
4
Requirements elicitation
4
Scenario-based specifications
4
Semi-automated
4
Abstract reachability trees
2
Abstracting
2
Analytical theory
2
Atomic actions
2
Automata theory
2
Automatic approaches
2
Behavioral properties
2
Case studies
2
Computer software
2
Computer software reusability
2
Design
2
Distributed systems
2
Dynamic logics
2
Event-based system
2
Final states
2
Fixed-priority scheduling
2
Fluents
2
Formal languages
2
Formal methods
2
Formal verifications
2
-
1Publicado 2017Materias: “...Software model checking...”
-
2por 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 model checking...”
CONF -
3por Ferrer Fioriti, Luis María.Materias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4por Ferrer Fioriti, Luis MaríaMaterias: “...Model checking...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5
-
6Publicado 2015Materias: “...Logic model checking...”
-
7por Regis, G., Degiovanni, R., D'Ippolito, N., Aguirre, N., Association for Computing Machinery Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Computer Society Technical Council on Software Engineering (TCSE)Materias: “...Logic model checking...”
CONF -
8Materias: “...Model checking tools...”
SER -
9Publicado 2012Materias: “...Model checking...”
-
10Materias: “...Model checking...”
Artículo publishedVersion -
11Materias: “...Model checking...”
Artículo publishedVersion -
12Materias: “...Model checking...”
SER -
13
-
14Materias: “...Model checking...”
CONF -
15Materias: “...Model checking...”
-
16Materias: “...Model checking...”
SER