Detail publikace

Parametric Analysis of PGM protocol

MATOUŠEK, P.; SIGHIREANU, M. Parametric Analysis of PGM protocol. Advance meeting, Paris: 2004. p. 0-0.
Název česky
Parametrická analýza protokolu PGM
Typ
přednáška
Jazyk
anglicky
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
Sighireanu Mihaela
URL
Klíčová slova

parametric verification, protocol, modelling, symbolic model-checking

Abstrakt

Zpráva shrnuje výsledky parametrické analýza  a verifikace protokolu PGM v projektu ADVANCE (http://www.liafa.jussieu.fr/%7Ehaberm/ADVANCE/main.html).

Rok
2004
Strany
33
Místo
Advance meeting, Paris
BibTeX 
@misc{BUT64893,
  author="Petr {Matoušek} and Mihaela {Sighireanu}",
  title="Parametric Analysis of PGM protocol",
  year="2004",
  pages="33",
  address="Advance meeting, Paris",
  url="http://www.fit.vutbr.cz/~matousp/doc/2004/PGM-Advance2004.pdf",
  note="lecture"
}
Nahoru