Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
11
Software engineering
11
Model checking
7
Real time systems
7
Behaviour models
6
Mathematical models
6
Specifications
6
Timed automata
6
Algorithms
5
Computer software
5
Controller synthesis
4
Data structures
4
Semantics
4
Specification languages
4
Timed Automata
4
Verification
4
Abstracting
3
Adaptive control systems
3
Adaptive systems
3
Behavioral properties
3
Computer aided software engineering
3
Controllers
3
Design
3
Distributed computer systems
3
Distributed timed model checking
3
Modal Transition Systems
3
Program processors
3
Reachability
3
ZEUS
3
Abstraction techniques
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
-
2Materias: “...Model checking tools...”
-
3
-
4Materias: “...Behavior model...”
-
5Materias: “...Model-based testing...”
-
6
-
7Materias: “...Mathematical models...”
-
8Materias: “...Model checking...”
-
9Materias: “...Distributed timed model checking...”
-
10Materias: “...Distributed Timed Model Checking...”
-
11
-
12Materias: “...Distributed timed model checking...”
-
13por Braberman, Víctor Adrián, de Caso, Guido, Fischbein, Darío, Garbervetsky, Diego, Sibay, Germán EmirMaterias: “...Partial behaviour modelling...”
Publicado 2013
-
14
-
15
-
16Materias: “...behaviour model synthesis...”
-
17Materias: “...Behaviour models...”
-
18
-
19
-
20