Designing and Verifying Communication Protocols Using Model Driven Architecture and Spin Model Checker Conference Paper uri icon

publication date

  • January 1, 2008

published in

  •   Geographic Location