selected publications

• conference paper

  • Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker.  . 2008