2012
Partially-supervised plants: embedding control requirements in plant components
Publication
Publication
Presented at the
International Conference on Integrated Formal Methods
Additional Metadata | |
---|---|
Springer | |
J. Derrick , S. Gnesi , D. Latella , H. Treharne | |
Lecture Notes in Computer Science | |
International Conference on Integrated Formal Methods | |
Organisation | Directie |
Markovski, J, van Beek, D.A, & Baeten, J.C.M. (2012). Partially-supervised plants: embedding control requirements in plant components. In J Derrick, S Gnesi, D Latella, & H Treharne (Eds.), Proceedings of International Conference on Integrated Formal Methods 2012 (pp. 253–267). Springer.
|