Detail publikačního výsledku

Diagram Based Formal Specification using CSP

ŠČUGLÍK, F.

Originální název

Diagram Based Formal Specification using CSP

Anglický název

Diagram Based Formal Specification using CSP

Druh

Stať ve sborníku mimo WoS a Scopus

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.

Anglický 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

Klíčová slova v angličtině

CSP, diagram, process, tool, formal specification

Autoři

ŠČUGLÍK, F.

Vydáno

24.04.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

Plný text v Digitální knihovně

http://hdl.handle.net/

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