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
CHECKS
11
ZEUS
11
Computer software
10
Program processors
10
MODEL CHECKING
9
Reachability
9
model checking
9
Distributed timed model checking
8
Formal methods
8
Mathematical models
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
-
1por Gómez Leo, Osvaldo RobertoMaterias: “...Checks Argentina....”
Publicado 1995
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
2por Gómez Leo, Osvaldo RobertoMaterias: “...Checks Argentina....”
Publicado 2004
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
3por Richard, Efraín HugoMaterias: “...Checks Argentina....”
Publicado 1997
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
4por Villegas, Carlos GilbertoMaterias: “...Checks Argentina....”
Publicado 1998
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
5por Wieder, IsaacMaterias: “...Checks Argentina....”
Publicado 1995
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
6por Fontanarrosa, Rodolfo O.Materias: “...Checks Argentina....”
Publicado 1996
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
7por Pedro Robson Pereira NeivaMaterias: “...checks and balances...”
Publicado 2006
Artículo científico -
8Materias: “...Consistency checks...”
CONF -
9
-
10Publicado 2010Materias: “...Checks Argentina....”
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
11por Montero Bagatella, Juan CarlosMaterias: “...Political coalitions; checks and balances; political incentives; institutional change...”
Publicado 2011
Artículo publishedVersion -
12Materias: “...Checks United States Periodicals....”
Aportado por: Bibliotecas (UCSF)Electrónico Revista -
13por Ensinck, Alfonso (Alfonso Carlos)Materias: “...Checks Southern Cone of South America....”
Publicado 2003
Aportado por: Biblioteca Max von Buch (UdeSA)Libro -
14Materias: “...political budget cycles; asymmetric information; discretion; separation of powers; checks...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
15Materias: “...Toxocariasis. Antibodies to Toxocara canis. Contact with the dog. Education and veterinary checks...”
Aportado por: Revista de Salud PúblicaArtículo revista -
16Materias: “...Model checking...”
JOUR -
17Publicado 2016Materias: “...Model checking...”
-
18
-
19Materias: “...Statistical model checking...”
Aportado por: Repositorio Digital Universitario (UNC)article -
20por Castano, R., Braberman, V., Garbervetsky, D., Uchitel, S., Nguyen T.N., Rosu G., Di Penta M., College of Engineering; Denso; et al.; Microsoft; NASA; University of Minnesota, Software EngineeringMaterias: “...Software model checking...”
CONF