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
13
Verification
6
Behavioral properties
4
Eclipse plug-in
4
Formal languages
4
Plug-ins
4
Property Specification
4
Semantics
4
Software and its engineering
4
Specification languages
4
Specification patterns
4
Specifications
4
ETHEREUM
3
Formal methods
3
MONITORING
3
SOFTWARE VERIFICATION
3
SOLIDITY
3
SURVEY
3
TEMPORAL LOGIC
3
Active field
2
Algebra
2
Aliasing
2
Automated program verification
2
Automation
2
Behavioral model
2
Behavioral modeling
2
Ciencias Informáticas
2
Compilers
2
Computational linguistics
2
Computer hardware description languages
2
-
1por Miretti, Gabriel LeonardoMaterias: “...Software verification...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2por Miretti, Gabriel Leonardo.Materias: “...Software Verification...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3
-
4por Bogdanich Espina, VeraMaterias: “...SOFTWARE VERIFICATION...”
Publicado 2019
Tesis de grado publishedVersion -
5por Bogdanich Espina, VeraMaterias: “...SOFTWARE VERIFICATION...”
Publicado 2019
Tesis de grado publishedVersion -
6Publicado 2006Materias: “...Software verification...”
-
7
-
8Materias: “...software verification and validation...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
9Materias: “...software verification validation...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
10por Gutiérrez Brida, Simón EmmanuelMaterias: “...Software verification and validation...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
11por Gutiérrez Brida, Simón EmmanuelMaterias: “...Software verification and validation...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
12por Gunther, EmmanuelMaterias: “...Software verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
13por Gunther, EmmanuelMaterias: “...Software verification...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
14Verification and validation of software related to nuclear power plant instrumentation and control /Publicado 1999Materias: “...Computer software Verification. inist...”
Aportado por: Bibliotecas (UNCuyo)Libro -
15
-
16Materias: “...Software verification...”
CONF -
17Materias: “...Software verification...”
-
18Materias: “...Software verification...”
CONF -
19Materias: “...Software verification...”
-
20