Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Adaptive control systems
4
Adaptive systems
4
Software engineering
4
Controller synthesis
3
Controllers
3
Self adaptation
2
Semantics
2
Specifications
2
Abstracting
1
Adaptive Systems
1
Algorithms
1
Application programs
1
Architectural approach
1
Architecture models
1
Backwards verification
1
Behavioral model
1
Behavioral modeling
1
Behavioral research
1
Behaviour models
1
Chaos theory
1
Chaotic iteration
1
Client code
1
Continuous operation
1
Contract specifications
1
Contract strengthening
1
Control theory
1
Controller Synthesis
1
Correctness criterion
1
Declarative Languages
1
Declarative models
1
-
1
-
2Materias: “...Mathematical operators...”
-
3
-
4Materias: “...Windows operating system...”
-
5
-
6
-
7