Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
ŠČUGLÍK, F.
Originální název
Comparing CSP representation and First order logic
Typ
článek ve sborníku mimo WoS a Scopus
Jazyk
angličtina
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.
Klíčová slova
CSP, First order representation, Logic
Autoři
Rok RIV
2003
Vydáno
9. 9. 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" }