ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

Publications: in EPrints
Further information: http://rocks.w3.rz.unibw-muenchen.de/