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.
Software verification
Verification
6
Behavioral properties
4
Eclipse plug-in
4
Formal languages
4
Plug-ins
4
Property Specification
4
Semantics
4
Specification languages
4
Specification patterns
4
Specifications
4
Formal methods
3
Active field
2
Algebra
2
Aliasing
2
Automated program verification
2
Automation
2
Behavioral model
2
Behavioral modeling
2
Compilers
2
Computational linguistics
2
Computer hardware description languages
2
Computer software
2
Design drivers
2
Diseño de compiladores
2
Eclipse Integrated Development Environment
2
Education
2
Equipment testing
2
First-year
2
Forcing
2
-
1por Miretti, Gabriel LeonardoMaterias: “...Software verification...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2Publicado 2006Materias: “...Software verification...”
-
3
-
4por Gunther, EmmanuelMaterias: “...Software verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
5por Gunther, EmmanuelMaterias: “...Software verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
6
-
7Materias: “...Software verification...”
CONF -
8Materias: “...Software verification...”
-
9Materias: “...Software verification...”
CONF -
10Materias: “...Software verification...”
-
11
-
12Materias: “...Software verification...”
JOUR -
13Materias: “...Software verification...”
JOUR