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