![]() RigorOus dependability analysis using model ChecKing techniques for Stochastic systems |
![]() ![]() |
Scheduled Project Meetings & Events
Project Meetings so far
|
ROCKS is a cooperation of RWTH Aachen, TU Dresden, UT-DACS Enschede, UT-FMT Enschede, UBwM Munich, RU Nijmegen and UdS Saarbrücken |