Detail výsledku

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.
Typ
různé
Jazyk
angličtina
Autoři
Matoušek Petr, doc. Ing., Ph.D., M.A., FEKT (FEKT)
Klíčová slova

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

URL
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="Other unclassified results"
}
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru