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 Gunther, Emmanuel
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
2
-
3
-
4
-
5
-
6
-
7por Gunther, Emmanuel
Publicado 2019Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
8por Miretti, Gabriel Leonardo
Publicado 2011Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
9
-
10
-
11
-
12
-
13