ROCKS PROJECT logo

RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

DFG logo blue  NWO logo

Project Meeting Vaals/Netherlands

Back

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