Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
6
Interface automata
Automata-based formalisms
2
Automated control
2
Behaviour models
2
Component implementations
2
Controller synthesis
2
Controllers
2
Existence of a solutions
2
External behavior
2
Imperfect information games
2
Interaction model
2
Interface states
2
LTS
2
Modal Transition Systems
2
Model checking
2
Modeling formalisms
2
Probabilistic extension
2
Probabilistic modelling
2
Probability
2
Qualitative information
2
Quantitative information
2
Reliability engineering
2
Requirements specifications
2
Software Specification
2
Software component
2
Software engineering
2
Software systems
2
Specifications
2
Synthesis algorithms
2
-
1
-
2
-
3
-
4
-
5
-
6