Detail publikace
Parametric Analysis of PGM protocol - report
MATOUŠEK Petr a SIGHIREANU Mihaela. Parametric Analysis of PGM protocol - report. Advance meeting, Paris, 2004.
Název česky
Parametrická analýza protokolu PGM
Typ
přednáška
Jazyk
angličtina
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS FIT VUT)
Sighireanu Mihaela (LIAFA UP7/CNRS)
Sighireanu Mihaela (LIAFA UP7/CNRS)
URL
Abstrakt
Zpráva shrnuje výsledky parametrické analýza a verifikace protokolu PGM v projektu ADVANCE.
Rok
2004
Strany
33
Místo
Advance meeting, Paris, FR