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

Duration: January 2011 until January 2011