Workshop "RigorOus dependability analysis using model ChecKing techniques for Stochastic systems" (ROCKS)
Grunddaten zu diesem Projekt
Art des Projektes: Wissenschaftliche Veranstaltung
Laufzeit: 25.09.2017 - 26.09.2017
Stichwörter: Informatik; Stochastik; Model Checking