Verifying Performance of Supervised Plants
| Title | Verifying Performance of Supervised Plants |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | Markovski, J, Reniers, MA |
| Journal | 2010 10th International Conference on Application of Concurrency to System Design |
| Pagination | 52-61 |
| ISSN | 1550-4808 |
| DOI | 10.1109/ACSD.2012.24 |
Work Package:
WP4
