Prabhu Shankar Kaliappan, Hartmut Koenig, Vishnu Kumar Kaliappan. Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China. pages 227-230, IEEE Computer Society, 2008. [doi]
No references recorded for this publication.
No citations of this publication recorded.