Holger Giese, Martin Hirsch. Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML. In Jean-Michel Bruel, editor, Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers. Volume 3844 of Lecture Notes in Computer Science, pages 67-78, Springer, 2005. [doi]
@inproceedings{GieseH05, title = {Modular Verification of Safe Online-Reconfiguration for Proactive Components in Mechatronic UML}, author = {Holger Giese and Martin Hirsch}, year = {2005}, doi = {10.1007/11663430_8}, url = {http://dx.doi.org/10.1007/11663430_8}, tags = {UML}, researchr = {https://researchr.org/publication/GieseH05}, cites = {0}, citedby = {0}, pages = {67-78}, booktitle = {Satellite Events at the MoDELS 2005 Conference, MoDELS 2005 International Workshops, Doctoral Symposium, Educators Symposium, Montego Bay, Jamaica, October 2-7, 2005, Revised Selected Papers}, editor = {Jean-Michel Bruel}, volume = {3844}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-31780-5}, }