RigorOus dependability analysis using model ChecKing techniques for Stochastic systems
Project Meetings
- 28.09.09-29.09.09 Vaals/Netherlands (Agenda)
- 8.03.10-9.03.10: Nijmegen
- Fall 2010: Dresden
- Connected to ETAPS (Spring) or QEST (Fall) 2011
- Summer school: 2012
ROCKS is a cooperation of RWTH Aachen, TU Dresden, UT-DACS Enschede, UT-FMT Enschede, UBwM Munich, RU Nijmegen and UdS Saarbrücken