Workshop "RigorOus dependability analysis using model ChecKing techniques for Stochastic systems" (ROCKS)
Basic data for this project
Type of project: Scientific Event
Duration at the University of Münster: 25/09/2017 - 26/09/2017
Description
Keywords: Informatik; Stochastik; Model Checking
Funder / funding scheme:
- Participation / conference fees
Project management at the University of Münster
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |
Applicants from the University of Münster
| Remke, Anne | Professorship for practical computer science (Prof. Remke) |