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

Publikation: Buch/Bericht/KonferenzbandSonstiger Bericht

Suchergebnisse