Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ŠČUGLÍK, F.
Originální název
Formal specification and verification of already composed systems
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
Originální abstrakt
We already know many methods for formal specification of systems. But we are not able to proof already composed systems and find errors in them. This paper is an approach to this methodology.
Klíčová slova
CSP, system, application, Formal specification, Formal language
Autoři
Vydáno
25. 4. 2002
Nakladatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno
ISBN
80-214-2116-9
Kniha
Proceedings of 8th Conference STUDENT EEICT 2002
Strany od
511
Strany do
515
Strany počet
5
BibTex
@inproceedings{BUT10018, author="František {Ščuglík}", title="Formal specification and verification of already composed systems", booktitle="Proceedings of 8th Conference STUDENT EEICT 2002", year="2002", pages="511--515", publisher="Faculty of Electrical Engineering and Communication BUT", address="Brno", isbn="80-214-2116-9" }