Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behaviour models
4
Computer software
3
Mathematical models
3
Automata theory
2
Formal methods
2
Interface automata
2
Modal Transition Systems
2
Model checking
2
Partial information
2
Semantics
2
Software engineering
2
Specifications
2
Synthesis algorithms
2
Algorithms
1
Architecture
1
Automated control
1
Behavior analysis
1
Behaviour modelling
1
Best practice
1
Building systems
1
Case-based approach
1
Case-based approaches
1
Composition of services
1
Composition technique
1
Computer software reusability
1
Concurrent interactions
1
Controller synthesis
1
Controllers
1
Current limitation
1
Description languages
1
-
1Materias: “...Qualitative information...”
JOUR -
2Materias: “...imperfect-information games...”
JOUR -
3
-
4
-
5Materias: “...Information theory...”
CONF -
6Materias: “...Information services...”
JOUR