selected publications

• conference paper

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