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.
Verification
48
Ciencias Informáticas
45
Model checking
28
Formal methods
18
VERIFICATION
17
Software verification
15
Semantics
14
Theory of computation
13
Automata theory
12
Software engineering
11
Specification languages
11
Formal logic
10
Program verification
10
Specifications
10
Static analysis
10
Software
9
TACO
9
ALLOY
8
Alloy analyzers
8
Alloys
8
Computer software
8
Data structures
8
Eclipse plug-in
8
Java programming language
8
Logic and verification
8
Plug-ins
8
Propositional variables
8
Real time systems
8
Tools
8
VERIFICACION
8
-
1por Kessler, J. ChristianMaterias: “...Nuclear arms control Verification....”
Publicado 1995
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
2por Yoeli, Michael, 1917-Materias: “...Integrated circuits Verification....”
Publicado 2008
Aportado por: Biblioteca Universitaria H. Wast (UFASTA)Electrónico Libro electrónico -
3Materias: “...Static verification...”
-
4Materias: “...Static verification...”
CONF -
5por Ramirez, AldanaMaterias: “...runtime verification...”
Publicado 2022
bachelorThesis Tésis de Grado -
6por De Greca, Francisco, Rossi, Bibiana D., Robiolo, Gabriela, Travassos, Guilherme HortaMaterias: “...Verification...”
Publicado 2015
Aportado por: SEDICI (UNLP)Objeto de conferencia -
7Publicado 1997Materias: “...Vérification comptable Périodiques....”
Aportado por: Bibliotecas (UCSF)Electrónico Revista -
8
-
9
-
10
-
11Materias: “...Verification...”
Aportado por: RIA - Repositorio Institucional Abierto (UTN)Artículo acceptedVersion -
12Materias: “...Verification...”
Aportado por: RIA - Repositorio Institucional Abierto (UTN)Artículo acceptedVersion -
13Materias: “...automated program verification...”
-
14Materias: “...automated program verification...”
JOUR -
15
-
16
-
17
-
18Publicado 1981Materias: “...Vérification comptable Périodiques....”
Aportado por: Bibliotecas (UCSF)Electrónico Revista -
19por Cuervo Parrino, Bruno EstebanMaterias: “...BOUNDED PROGRAM VERIFICATION...”
Publicado 2011
Tesis de grado publishedVersion -
20por Cuervo Parrino, Bruno EstebanMaterias: “...BOUNDED PROGRAM VERIFICATION...”
Publicado 2011
Tesis de grado publishedVersion