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

MATOUŠEK, P.

Original Title

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

English Title

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

Type

Other unclassified results

Keywords

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

Key words in English

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

Authors

MATOUŠEK, P.

Released

01.01.2000

Publisher

unknown

Location

concept of the thesis

URL

http://www.fee.vutbr.cz/~matousp/doc/2000/thesis-concept.html

Full text in the Digital Library

http://hdl.handle.net/

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"
}