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
-
41por Cavatorta, Lucía Irene, de Caso, Guido, Braberman, Víctor Adrián, Garbervetsky, Diego, Kicillof, Nicolás, Schapachnik, Fernando PabloMaterias: “...Timed model checking...”
Publicado 2006
-
42por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Timed model checking...”
CONF -
43
-
44
-
45por 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 -
46
-
47por Regis, Germán EnriqueMaterias: “...MODEL CHECKING...”
Publicado 2014
Tesis doctoral publishedVersion -
48por Regis, Germán EnriqueMaterias: “...MODEL CHECKING...”
Publicado 2014
Tesis doctoral publishedVersion -
49
-
50
-
51
-
52
-
53
-
54por Luna, Carlos DanielMaterias: “...Model checking...”
Publicado 2004
Aportado por: SEDICI (UNLP)Objeto de conferencia -
55Materias: “...Check in...”
Aportado por: Repositorio Institucional - Universidad de Belgrano (UB)Learning Object -
56Materias: “...Model Checking Regulations...”
-
57Materias: “...Model Checking Regulations...”
SER -
58por Gómez-Penedo, Juan Martín, Areas, Malenka Alejandra, Manubens, Rocío, Babl, Anna Margarete, Challú, Laura, Juan, Santiago, Muiños, Roberto, Fernández-Álvarez, Javier, Alalú, Nicolás, Roussos, Andrés, Lutz, Wolfgang, Martin grosse-Holtforth, Martin grosse-HoltforthMaterias: “...Hopkins Symptom Check-Lists Argentine version...”
Publicado 2021
Aportado por: Revistas de la UNCArtículo revista -
59por Gómez-Penedo, Juan Martín, Areas, Malenka Alejandra, Manubens, Rocío, Babl, Anna Margarete, Challú, Laura, Juan, Santiago, Muiños, Roberto, Fernández-Álvarez, Javier, Alalú, Nicolás, Roussos, Andrés, Lutz, Wolfgang, Martin grosse-Holtforth, Martin grosse-HoltforthMaterias: “...Hopkins Symptom Check-Lists Argentine version...”
Publicado 2021
Aportado por: Revistas de la UNCArtículo revista -
60Publicado 2009Materias: “...Model checking problem...”