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

1 Finished
1 Active

2 results

Active
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 → …
Project: Research area
Finished
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
Project: Research project