Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Real time systems
Automata theory
5
Model checking
3
Timed automata
3
Computer aided software engineering
2
Computer architecture
2
Data structures
2
Distributed computer systems
2
Model-checking
2
Time sharing systems
2
Timed systems
2
VTS
2
Verification
2
ZEUS
2
Abstraction techniques
1
Algorithms
1
Automata
1
Automatic technique
1
Component analysis
1
Computation theory
1
Computer aided analysis
1
Computer aided verification techniques
1
Computer programming languages
1
Computer simulation
1
Computer software
1
Constraint theory
1
Data storage equipment
1
Design
1
Difference bound matrices
1
Distributed real time system
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: “...Mathematical models...”
-
3Materias: “...Distributed timed model checking...”
-
4
-
5Materias: “...Model checking...”
-
6Materias: “...Optimized models...”
-
7Materias: “...Timed automaton model...”