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

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

Institute of Technical Informatics (4480)

Research output: Book/Report › Other report

Original language	English
Publisher	.
Publication status	Published - 2014

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Experimental

Cite this

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

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

Fields of Expertise

Treatment code (Nähere Zuordnung)

Other files and links

Intelligent & Networked Embedded Systems

EU - RELYonIT - Research by Experimentation for Dependability on the Internet of Things

Cite this

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

Fields of Expertise

Treatment code (Nähere Zuordnung)

Other files and links

Projects

Intelligent & Networked Embedded Systems

EU - RELYonIT - Research by Experimentation for Dependability on the Internet of Things

Cite this