Detail publikace

Diagram Based Formal Specification using CSP

ŠČ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

ŠČUGLÍK, F.

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