Conference Detail

Rigorous dependability analysis using model checking techniques for stochastic systems

Events list

Place

Eindhoven University of Technology

Type of Event

workshop

Kind of Event

worldwide event

Time

2025-04-02 - 2025-04-04

URL

https://www.modestchecker.net/rocks2025/

Last time changed by

Fit