Verification of Stochastic Requirements in Supervised Plants
| Title | Verification of Stochastic Requirements in Supervised Plants |
| Publication Type | Unpublished |
| Year of Publication | 2012 |
| Authors | Musa, EES |
| Series Title | SE Report, TUE |
| Number | 2012-420690 |
| Date Published | 07/2012 |
| Type of Work | Master Thesis |
Work Package:
WP4
