Login / Signup

Probabilistic automata for architecture-based reliability assessment.

Ivo KrkaLeana GolubchikNenad Medvidovic
Published in: QUOVADIS@ICSE (2010)
Keyphrases
  • reliability assessment
  • probabilistic automata
  • finite automata
  • markov chain
  • relative entropy
  • sound theoretical
  • graphical models
  • finite state automata
  • database