D-2.2 & D-2.3 - Report on Protocol Models & Validation and Verification

Marco Antonio Zuniga, Ioannis Protonotoarios, Si Li, Faisal Aslam, Koen Langendoen, Carlo Alberto Boano, Kay Uwe Römer, James Brown, John Vidler, Ibrahim Ethem Bagci, Utz Roedig, Luca Mottola, Thiemo Voigt, Ioannis Glaropoulos

Research output: Book/ReportOther report

Original languageEnglish
Publisher.
Publication statusPublished - 2014

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

Projects

Cite this

Zuniga, M. A., Protonotoarios, I., Li, S., Aslam, F., Langendoen, K., Boano, C. A., ... Glaropoulos, I. (2014). D-2.2 & D-2.3 - Report on Protocol Models & Validation and Verification. .