Workshop "RigorOus dependability analysis using model ChecKing techniques for Stochastic systems" (ROCKS)

Basic data for this project

Type of project: Scientific Event
Duration: 25/09/2017 - 26/09/2017

Keywords: Informatik; Stochastik; Model Checking