Detail publikace

Comparing CSP representation and First order logic

ŠČUGLÍK, F. Comparing CSP representation and First order logic. Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Brno University of Technology, 2002. p. 341-344. ISBN: 80-214-2180-0.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Ščuglík František, Ing., Ph.D. (CK-SZZ)
Klíčová slova

CSP, First order representation, Logic

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.

Rok
2002
Strany
341–344
Sborník
Proceedings of the 9th Electronic Devices and Systems Conference EDS'02
ISBN
80-214-2180-0
Vydavatel
Brno University of Technology
Místo
Brno
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"
}
Nahoru