Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
33
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Ciencias Informáticas
29
Model checking
9
Error-checking
5
model checking
5
Formal methods
3
SOFTWARE ENGINEERING
3
Software
2
UML
2
Verification
2
errores de concurrencia
2
extended static checking
2
model checking probabilístico
2
models verification
2
strategic term rewriting
2
symbolic execution
2
Aplicaciones web
1
Application Programming Interface
1
Architectural scenarios
1
Autómatas (Grafos) Temporizados
1
Check valve slam
1
CheckDroid
1
Ciencias Económicas
1
Ciencias Naturales
1
Clustering
1
Compiler design
1
Comunicación
1
Comunicación Social
1
Concurrent Programming
1
Conformance checking
1
Constraints
1
-
1
-
2
-
3por Breitman, Maria Florencia, Minoli, Ignacio, Ávila, Luciano Javier, Medina, Cintia Débora, Sites Jr., Jack W., Morando, MarianaMaterias: “...check list; Liolaemini; Patagonia; genetic patterns; alfa taxonomy...”
Publicado 2014
Aportado por: SEDICI (UNLP)Articulo -
4
-
5por Ruscuni, Sebastián MarianoMaterias: “...Error-checking...”
Publicado 2000
Aportado por: SEDICI (UNLP)Tesis Tesis de grado -
6
-
7por Gonzalía, Carlos JoséMaterias: “...refinement checking...”
Publicado 2012
Aportado por: SEDICI (UNLP)Objeto de conferencia -
8por Barrientos, Pablo AndrésMaterias: “...QuickCheck...”
Publicado 2014
Aportado por: SEDICI (UNLP)Tesis Tesis de maestria -
9por Asteasuain, FernandoMaterias: “...model checking...”
Publicado 2010
Aportado por: SEDICI (UNLP)Objeto de conferencia -
10por Ponzio, Pablo Daniel, Godio, Ariel, Rosner, Nicolás, Arroyo, Marcelo, Aguirre, Nazareno Matías, Frias, Marcelo F.Materias: “...Model checking of programs...”
Publicado 2021
Aportado por: SEDICI (UNLP)Objeto de conferencia -
11por Montezanti, Diego MiguelMaterias: “...Error-checking...”
Publicado 2014
Aportado por: SEDICI (UNLP)Tesis Trabajo de especializacion -
12
-
13por Céspedes Flores, Andreína VanessaMaterias: “...Fact checking...”
Publicado 2022
Aportado por: SEDICI (UNLP)Tesis Trabajo de especializacion -
14
-
15
-
16por Vilallonga, Gabriel Domingo, Riesco, Daniel Eduardo, Truglio, Matías, Almeida, Antônio Carlos G., Rodrigues, Antônio M.Materias: “...model checking probabilístico...”
Publicado 2017
Aportado por: SEDICI (UNLP)Objeto de conferencia -
17
-
18
-
19
-
20por Luna, Carlos DanielMaterias: “...Model checking...”
Publicado 2004
Aportado por: SEDICI (UNLP)Objeto de conferencia