Přístupnostní navigace
E-application
Search Search Close
Publication detail
ŠČUGLÍK, F.
Original Title
Diagram Based Formal Specification using CSP
Type
article in a collection out of WoS and Scopus
Language
English
Original Abstract
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.
Keywords
CSP, diagram, process, tool, formal specification
Authors
RIV year
2004
Released
24. 4. 2003
Publisher
Faculty of Electrical Engineering and Communication BUT
Location
Brno
ISBN
80-214-2379-X
Book
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
Pages from
629
Pages to
633
Pages count
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" }