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