Additional Metadata
Publisher Springer
Editor J. Derrick , S. Gnesi , D. Latella , H. Treharne
Series Lecture Notes in Computer Science
Conference International Conference on Integrated Formal Methods
Citation
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.