Detail publikace

Formal description and verification of a class of high-level protocols with real time constraints

MATOUŠEK, P. Formal description and verification of a class of high-level protocols with real time constraints. concept of the thesis: unknown, 2000. p. 0-0.
Typ
různé
Jazyk
anglicky
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A. (UIFS)
URL
Klíčová slova

protocol specification, formal methods, distributed directory, verification, prover, model checker

Rok
2000
Vydavatel
unknown
Místo
concept of the thesis
BibTeX 
@misc{BUT191829,
  author="Petr {Matoušek}",
  title="Formal description and verification of a class of high-level protocols with real time constraints",
  year="2000",
  publisher="unknown",
  address="concept of the thesis",
  url="http://www.fee.vutbr.cz/~matousp/doc/2000/thesis-concept.html",
  note="miscellaneous"
}
Nahoru