ROCKS PROJECT logo

RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

DFG logo blue  NWO logo

ROCKS workshop programme

March 26-27 2011, Saarbrücken, Germany
Satellite event of ETAPS 2011
www.rocks-project.eu/ETAPS2011
Back

ROCKS is a cooperation of RWTH Aachen, TU Dresden, UT-DACS Enschede, UT-FMT Enschede, UBwM Munich, RU Nijmegen and UdS Saarbrücken