Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Data structures
Model checking
14
Automata theory
8
Timed automata
8
Computer aided software engineering
6
Alloy
4
Code analysis
4
Distributed timed model checking
4
DynAlloy
4
Formal logic
4
Java programming language
4
KodKod
4
Linked data structures
4
Orders of magnitude
4
Propositional formulas
4
Propositional variables
4
Real time systems
4
SAT-based bounded verification
4
SAT-based code analysis
4
Satisfiability
4
Sequential programs
4
Static analysis
4
Verification
4
ZEUS
4
Algorithmics
2
Algorithms
2
Alloying
2
Automated techniques
2
Biomineralization
2
Cerium alloys
2
-
1por 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
-
2por Cavatorta, L., De Caso, G., Ferrari, A., Braberman, V., Garbervetsky, D., Kicillof, N., Schapachnik, F., Olivero, A.Materias: “...Timed model checking...”
CONF -
3Publicado 2009Materias: “...Model checking problem...”
-
4Materias: “...Model checking problem...”
SER -
5Materias: “...Model checking...”
-
6Materias: “...Model checking...”
CONF -
7Materias: “...Model checking...”
-
8Materias: “...Model checking...”
SER -
9Materias: “...Distributed timed model checking...”
-
10Materias: “...Distributed timed model checking...”
-
11Materias: “...Distributed timed model checking...”
JOUR -
12Materias: “...Distributed timed model checking...”
JOUR -
13Materias: “...Model checking...”
-
14Materias: “...Model checking...”
JOUR -
15por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Model checking...”
Publicado 2013
-
16Materias: “...Model checking...”
JOUR -
17por Galeotti, Juan Pablo, Rosner, Nicolás, López Pombo, Carlos Gustavo, Frias, MarceloMaterias: “...Model checking...”
Publicado 2010
-
18Materias: “...Model checking...”
CONF