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

Institut für Technische Informatik (4480)

Publikation: Buch/Bericht/Konferenzband › Sonstiger Bericht

Originalsprache	englisch
Verlag	.
Publikationsstatus	Veröffentlicht - 2014

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application
Experimental

Andere Dateien und Links

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

1 Abgeschlossen
1 Laufend

Intelligent & Networked Embedded Systems
Boano, C. A., Römer, K. U., Schuß, M., Cao, N., Saukh, O., Hofmann, R., Stocker, M., Schuh, M. P., Papst, F., Salomon, E., Brunner, H., Gallacher, M., Mohamed Hydher, M. H., Wang, D., Corti, F., Krisper, M., Basic, F. & Petrovic, K.
1/09/13 → …
Projekt: Arbeitsgebiet
EU - RELYonIT - Research by Experimentation for Dependability on the Internet of Things
Römer, K. U., Boano, C. A. & Oppermann, F. J.
1/09/13 → 31/01/15
Projekt: Forschungsprojekt

Dieses zitieren

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

Andere Dateien und Links

Projekte

Intelligent & Networked Embedded Systems

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

Dieses zitieren