Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Verification
Model checking
3
Automata theory
2
Computer aided software engineering
2
Data structures
2
Real time systems
2
Specifications
2
Timed automata
2
Automata
1
Automatic technique
1
Behavioral model
1
Behavioral modeling
1
Behavioral properties
1
Computational linguistics
1
Computer hardware description languages
1
Design
1
Difference Bound Matrices
1
Duration properties
1
Eclipse plug-in
1
Formal languages
1
Graphical languages
1
Hypervolume approximation
1
Interactive computer systems
1
LAPSUS
1
Large scale systems
1
Model-checking
1
OBSSLICE
1
Pattern representation
1
Pattern specifications
1
Physical design
1
-
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
-
2Materias: “...Model checking...”
-
3
-
4