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
-
121Materias: “...Distributed timed model checking...”
JOUR -
122Materias: “...Model-checking...”
CONF -
123Materias: “...Distributed Timed Model Checking...”
JOUR -
124Materias: “...Distributed timed model checking...”
JOUR -
125Publicado 2019Materias: “...Cross check...”
-
126
-
127por Lena, L., López-Martínez, R., Lescano, M., Aguirre-Urrreta, B., Concheyro, A., Vennari, V., Naipauer, M., Samankassou, E., Pimentel, M., Ramos, V.A., Schaltegger, U.Materias: “...Cross check...”
JOUR -
128por Marenchino, Matías L.Materias: “...Model Checking Probabilista...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
129por Marenchino, Matías LeandroMaterias: “...Model checking probabilista...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
130por Acosta, Araceli NataliaMaterias: “...Model checking...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
131Materias: “...political budget cycles; asymmetric information; discretion; separation of powers; checks...”
Aportado por: SEDICI (UNLP)Objeto de conferencia -
132por Budde, Carlos E., D'Argenio, Pedro Ruben, Monti, Raúl Enrique, Stoelinga, MariëlleMaterias: “...Statistical model checking...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
133
-
134por Monti, Raúl EnriqueMaterias: “...Verification by model checking...”
Publicado 2023
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
135Materias: “...Model checking...”
CONF -
136Materias: “...Model checking...”
-
137por Schapachnik, FernandoMaterias: “...MODEL CHECKING...”
Publicado 2007
Tesis doctoral publishedVersion -
138por Schapachnik, FernandoMaterias: “...MODEL CHECKING...”
Publicado 2007
Tesis doctoral publishedVersion -
139
-
140Materias: “...Model checking...”
SER