Telecharger Cours

Implementation of symbolic model checking for probabilistic systems

In this thesis, we present efficient implementation techniques for probabilistic model checking, a method which can be used to analyse probabilistic systems ...



Download