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