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

Formal Methods for Components and Objects: 5th International Symposium, FMCO 200

Probabilistic Risk Assessment Procedures Guide for Nasa Managers and Practiti...

Reliability: Probabilistic Models and Statistical Methods (Paperback or Softback

Probabilistic Systems Analysis Breipohl 1970 Engineering Mathematics Wiley

Formal Methods and Hybrid Real-Time Systems Essays in Honour of D

Problems Book For Probabilistic Methods For The Theory Of Structures With Comple

Machine Learning and Probabilistic Graphical Models for Decis... - 9781032039503