Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ŠČUGLÍK, F.
Originální název
Diagram Based Formal Specification using CSP
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
Originální abstrakt
Formal specification describes exactly a system. Using a CPS (Communicating Sequential Processes) representation allows to describe systems in the semantics meaner, which is very desirable for automated processing. Development of a tool for automated system description from the functional diagram is the main domain of this paper.
Klíčová slova
CSP, diagram, process, tool, formal specification
Autoři
Rok RIV
2004
Vydáno
24. 4. 2003
Nakladatel
Faculty of Electrical Engineering and Communication BUT
Místo
Brno
ISBN
80-214-2379-X
Kniha
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
Strany od
629
Strany do
633
Strany počet
5
BibTex
@inproceedings{BUT13965, author="František {Ščuglík}", title="Diagram Based Formal Specification using CSP", booktitle="Proceedings of the 9th Conference and Competition STUDENT EEICT 2003", year="2003", pages="629--633", publisher="Faculty of Electrical Engineering and Communication BUT", address="Brno", isbn="80-214-2379-X" }