On the Formalization of UML Activities for Component-Based Protocol Design Specifications

Prabhu Shankar Kaliappan, Hartmut König. On the Formalization of UML Activities for Component-Based Protocol Design Specifications. In Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, György Turán, editors, SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings. Volume 7147 of Lecture Notes in Computer Science, pages 479-491, Springer, 2012. [doi]

Authors

Prabhu Shankar Kaliappan

This author has not been identified. Look up 'Prabhu Shankar Kaliappan' in Google

Hartmut König

This author has not been identified. Look up 'Hartmut König' in Google