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.
Model checking
74
Ciencias Informáticas
29
Automata theory
22
Data structures
18
Specifications
18
Software engineering
16
Timed automata
16
Computation theory
12
Distributed computer systems
12
Real time systems
12
ZEUS
11
CHECKS
10
Computer software
10
Program processors
10
MODEL CHECKING
9
model checking
9
Distributed timed model checking
8
Formal methods
8
Mathematical models
8
Reachability
8
Verification
8
Semantics
7
Algorithms
6
Artificial intelligence
6
Computer aided software engineering
6
Computer architecture
6
Data storage equipment
6
Formal logic
6
Inductive learning
6
Java programming language
6
-
1
-
2Materias: “...CHECK-LIST...”
Artículo publishedVersion -
3Materias: “...CHECK-LIST...”
-
4
-
5
-
6
Aportado por: Biblioteca Central (FAUBA)Artículo -
7
-
8por Richard, Efraín HugoMaterias: “...Checks Argentina....”
Publicado 1997
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
9por Villegas, Carlos GilbertoMaterias: “...Checks Argentina....”
Publicado 1998
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
10por Gómez Leo, Osvaldo RobertoMaterias: “...Checks Argentina....”
Publicado 1995
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
11por Gómez Leo, Osvaldo RobertoMaterias: “...Checks Argentina....”
Publicado 2004
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
12por Wieder, IsaacMaterias: “...Checks Argentina....”
Publicado 1995
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
13por Jaunarena, HoracioMaterias: “...Paradigm in check...”
Publicado 2016
Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Artículo -
14por Molina Sandoval, Carlos AlbertoMaterias: “...Electronic check...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)article -
15por Budde, Carlos Esteban, D'Argenio, Pedro Ruben, Sánchez Terraf, Pedro Octavio, Wolovick, NicolásMaterias: “...Model Check...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
16por Budde, Carlos Esteban, D'Argenio, Pedro Rubén, Sánchez Terraf, Pedro Octavio, Wolovick, NicolásMaterias: “...Model Check...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
17por 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 -
18Materias: “...Statistical model checking...”
Aportado por: Repositorio Digital Universitario (UNC)article -
19por Fontanarrosa, Rodolfo O.Materias: “...Checks Argentina....”
Publicado 1996
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
20