Detail publikace

Parametric Analysis of PGM protocol - report

MATOUŠEK, P.; SIGHIREANU, M. Parametric Analysis of PGM protocol - report. Advance meeting, Paris: 2004.
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, prof. Ing., PhD.
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.

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 - report",
  year="2004",
  pages="33",
  address="Advance meeting, Paris",
  url="http://www.fit.vutbr.cz/~matousp/doc/2004/PGM-Advance2004.pdf",
  note="lecture"
}
Nahoru