Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Reactive system
Software engineering
4
Specifications
4
Adaptive control systems
2
Adaptive systems
2
Application programs
2
Continuous operation
2
Controller synthesis
2
Controllers
2
Correctness criterion
2
Dynamic update
2
Event-based system
2
Fluents
2
Linear temporal logic
2
Logic model checking
2
Model checking
2
Numerical values
2
Software architecture
2
Software intensive systems
2
Sound engineerings
2
System requirements
2
Temporal logic
2
Temporal logic specifications
2
-
1
-
2
-
3
-
4