Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Software engineering
10
Model checking
6
Specifications
6
Real time systems
5
Abstracting
4
Adaptive control systems
4
Adaptive systems
4
Behaviour models
4
Computer software
4
Semantics
4
Specification languages
4
Controller synthesis
3
Controllers
3
Embedded systems
3
Level of abstraction
3
Software architecture
3
Software testing
3
Automata theory
2
Behavioral properties
2
Behavioral research
2
Control theory
2
Graceful degradation
2
Mathematical models
2
Non-trivial
2
Progressive enhancement
2
Self-adaptive system
2
Self-adaptive systems
2
Source codes
2
Symbolic execution
2
VTS
2
-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20