Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
Adaptive control systems
3
Adaptive systems
3
Behaviour models
3
Controller synthesis
3
Specifications
3
Abstracting
2
Automata theory
2
Behavior model
2
Computer software
2
Control theory
2
Controllers
2
Design
2
Graceful degradation
2
Model checking
2
Progressive enhancement
2
Self-adaptive system
2
Self-adaptive systems
2
Specification languages
2
automated abstraction
2
Abstraction techniques
1
Admissible sequences
1
Algorithms
1
Analytical theory
1
Anomalous behavior
1
Architectural approach
1
Architecture models
1
Automatic approaches
1
Behavioral properties
1
Behavioral research
1
-
1
-
2Materias: “...Behavior model...”
-
3por Braberman, Víctor Adrián, de Caso, Guido, Fischbein, Darío, Garbervetsky, Diego, Sibay, Germán EmirMaterias: “...Partial behaviour modelling...”
Publicado 2013
-
4
-
5Materias: “...behaviour model synthesis...”
-
6
-
7
-
8Materias: “...Partial behaviour models...”
-
9Materias: “...Timed automaton model...”
-
10
-
11