Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
Automata theory
3
Real time systems
3
Verification
3
Behavioral properties
2
Computer aided software engineering
2
Data structures
2
Design
2
Model checking tools
2
Scheduling
2
Software engineering
2
Specification languages
2
Specifications
2
Timed automata
2
Abstraction techniques
1
Analytical theory
1
Automata
1
Automatic approaches
1
Automatic technique
1
Component analysis
1
Difference Bound Matrices
1
Distributed real time system
1
Distributed systems
1
Duration properties
1
Eclipse plug-in
1
Effective translation
1
Embedded systems
1
Event pattern
1
Fixed-priority scheduling
1
Formal languages
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 tools...”
-
3
-
4Materias: “...Model checking...”
-
5
-
6
-
7Materias: “...Model checking...”