Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behaviour models
Modal Transition Systems
3
Software engineering
3
Abstracting
2
Artificial intelligence
2
Computer software
2
Controller synthesis
2
Controllers
2
Labelled transition systems
2
Level of abstraction
2
Specifications
2
Adaptive control systems
1
Adaptive systems
1
Admissible sequences
1
Architecture models
1
Based specification
1
Case-based approach
1
Case-based approaches
1
Complexity class
1
Component based systems
1
Component interfaces
1
Component levels
1
Componentwise
1
Distribution
1
Domain model
1
Finite model
1
Finite-state abstraction
1
Flowcharting
1
Graceful degradation
1
Graphic methods
1
-
1
-
2Materias: “...behaviour model synthesis...”
-
3Materias: “...Behaviour models...”
-
4
-
5Materias: “...Partial behaviour models...”
-
6Materias: “...Behaviour models...”