Detail publikačního výsledku

Comparing CSP representation and First order logic

ŠČUGLÍK, F.

Originální název

Comparing CSP representation and First order logic

Anglický název

Comparing CSP representation and First order logic

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

This contribution discusses two different methods for specification reactive systems from their source code: (1) the First order representation and (2) the specification using CSP. This paper focuses on the comparsion of CSP with First order representation.

Anglický abstrakt

This contribution discusses two different methods for specification reactive systems from their source code: (1) the First order representation and (2) the specification using CSP. This paper focuses on the comparsion of CSP with First order representation.

Klíčová slova

CSP, First order representation, Logic

Klíčová slova v angličtině

CSP, First order representation, Logic

Autoři

ŠČUGLÍK, F.

Vydáno

09.09.2002

Nakladatel

Brno University of Technology

Místo

Brno

ISBN

80-214-2180-0

Kniha

Proceedings of the 9th Electronic Devices and Systems Conference EDS'02

Strany od

341

Strany do

344

Strany počet

4

BibTex

@inproceedings{BUT10241,
  author="František {Ščuglík}",
  title="Comparing CSP representation and First order logic",
  booktitle="Proceedings of the 9th Electronic Devices and Systems Conference EDS'02",
  year="2002",
  pages="341--344",
  publisher="Brno University of Technology",
  address="Brno",
  isbn="80-214-2180-0"
}