„probabilistic model checking“

Suchergebnisse

161 Treffer

• Unmasking fault tolerance – quantifying deterministic recovery dynamics in probabilistic environments
  Müllner, Nils Henning 2014 BIS-Verlag der Carl von Ossietzky Universität Oldenburg