JSEA> Vol.1 No.1, December 2008

Brandenburg Technical University, Cottbus, Germany
Brandenburg Technical University, Cottbus, Germany

 

Copyright © 2008 Prabhu Kaliappan, Hartmut Koenig et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

 

How to Cite this Article

---

P. Kaliappan and H. Koenig, "Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker," Journal of Software Engineering and Applications, Vol. 1 No. 1, 2008, pp. 13-19. doi: 10.4236/jsea.2008.11003.

 

Download citation as EndNote