Validation of stochastic systems
Validation of stochastic systems
Joost-Pieter Katoen, Holger Hermanns, Markus Siegle, Boudewijn R. Haverkort, Christel Baier
Details
- OL Work ID
- OL19571318W
Subjects
Stochastic processesStochastic systemsStochastic analysis