ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
Duration: January 2011
until January 2011
ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
Duration: January 2011
until January 2011 |