Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automata theory
2
Behaviour models
2
Interface automata
2
Model checking
2
Probabilistic extension
2
Probabilistic modelling
2
Probability
2
Qualitative information
Quantitative information
2
Reliability engineering
2
Software Specification
2
Specifications
2
interface automata
2
model checking
2
probability
2
-
1
-
2