Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Behaviour models
2
Model checking
2
Probability
2
Adaptive control systems
1
Adaptive systems
1
Architecture models
1
Automata theory
1
Controller synthesis
1
Controllers
1
Estimation
1
Graceful degradation
1
Interface automata
1
Level model
1
Mean time to first failure
1
Multi-tier
1
Operational strategies
1
Partial verification
1
Planning
1
Probabilistic extension
1
Probabilistic model checking
1
Probabilistic modelling
1
Progressive enhancement
1
Qualitative information
1
Quantitative information
1
Quantitative measures
1
Quantitativemodelling
1
Reliability
1
Reliability engineering
1
Reliability estimation
1
Risk perception
1
-
1por D'Ippolito, N., Braberman, V., Kramer, J., Magee, J., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT); IEEE Computer Society's Tech. Council on Software Engin. (TCSE)Materias: “...reliability...”
CONF -
2Materias: “...Reliability engineering...”
JOUR -
3Materias: “...Reliability estimation...”
JOUR