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 reportResearch

LanguageEnglish
Publisher.
StatusPublished - 2014

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Application
  • Experimental

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. .

D-2.2 & D-2.3 - Report on Protocol Models & Validation and Verification. / Zuniga, Marco Antonio; Protonotoarios, Ioannis; Li, Si; Aslam, Faisal; Langendoen, Koen; Boano, Carlo Alberto; Römer, Kay Uwe; Brown, James; Vidler, John; Bagci, Ibrahim Ethem; Roedig, Utz; Mottola, Luca; Voigt, Thiemo; Glaropoulos, Ioannis.

., 2014.

Research output: Book/ReportOther reportResearch

Zuniga, MA, Protonotoarios, I, Li, S, Aslam, F, Langendoen, K, Boano, CA, Römer, KU, Brown, J, Vidler, J, Bagci, IE, Roedig, U, Mottola, L, Voigt, T & Glaropoulos, I 2014, D-2.2 & D-2.3 - Report on Protocol Models & Validation and Verification. .
Zuniga MA, Protonotoarios I, Li S, Aslam F, Langendoen K, Boano CA et al. D-2.2 & D-2.3 - Report on Protocol Models & Validation and Verification. ., 2014.
Zuniga, Marco Antonio ; Protonotoarios, Ioannis ; Li, Si ; Aslam, Faisal ; Langendoen, Koen ; Boano, Carlo Alberto ; Römer, Kay Uwe ; Brown, James ; Vidler, John ; Bagci, Ibrahim Ethem ; Roedig, Utz ; Mottola, Luca ; Voigt, Thiemo ; Glaropoulos, Ioannis. / D-2.2 & D-2.3 - Report on Protocol Models & Validation and Verification. ., 2014.
@book{b9df587fa8914c1ba9027ba8b2ec2a22,
title = "D-2.2 & D-2.3 - Report on Protocol Models & Validation and Verification",
author = "Zuniga, {Marco Antonio} and Ioannis Protonotoarios and Si Li and Faisal Aslam and Koen Langendoen and Boano, {Carlo Alberto} and R{\"o}mer, {Kay Uwe} and James Brown and John Vidler and Bagci, {Ibrahim Ethem} and Utz Roedig and Luca Mottola and Thiemo Voigt and Ioannis Glaropoulos",
note = "Reportnr.: D-2.2",
year = "2014",
language = "English",
publisher = ".",

}

TY - BOOK

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

AU - Zuniga,Marco Antonio

AU - Protonotoarios,Ioannis

AU - Li,Si

AU - Aslam,Faisal

AU - Langendoen,Koen

AU - Boano,Carlo Alberto

AU - Römer,Kay Uwe

AU - Brown,James

AU - Vidler,John

AU - Bagci,Ibrahim Ethem

AU - Roedig,Utz

AU - Mottola,Luca

AU - Voigt,Thiemo

AU - Glaropoulos,Ioannis

N1 - Reportnr.: D-2.2

PY - 2014

Y1 - 2014

UR - http://relyonit.eu/fileadmin/user_upload/D-2.2.pdf

M3 - Other report

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

PB - .

ER -