Result Details
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.
Type
other unclassified results
Language
English
Authors
Matoušek Petr, doc. Ing., Ph.D., M.A., FEEC (FEEC)
Keywords
protocol specification, formal methods, distributed directory, verification, prover, model checker
URL
Published
2000
Publisher
unknown
Place
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"
}
Departments