Probabilistic Risk Analysis Foundations and Methods Tim Bedford Roger Cooke

Katoen - Formal Methods for Real-Time and Probabilistic Systems 5th - X555z

Formal Methods Teaching: 5th International Workshop, FMTea 2023, L?beck, Germany

Formal Methods for Industrial Critical Systems: 28th International Conference, F

14th International Probabilistic Workshop - 9783319478852

Formal Methods for Industrial Critical Systems: 27th International Conference, F

Formal Methods for Industrial Critical Systems - 9783030852474

Formal Methods for Industrial Critical Systems - 9783031681493