Detail publikace

Formal specification and verification of already composed systems

ŠČUGLÍK, F.

Originální název

Formal specification and verification of already composed systems

Typ

článek ve sborníku ve WoS nebo Scopus

Jazyk

angličtina

Originální abstrakt

We already know many methods for formal specification of systems. But we are not able to proof already composed systems and find errors in them. This paper is an approach to this methodology.

Klíčová slova

CSP, system, application, Formal specification, Formal language

Autoři

ŠČUGLÍK, F.

Vydáno

25. 4. 2002

Nakladatel

Faculty of Electrical Engineering and Communication BUT

Místo

Brno

ISBN

80-214-2116-9

Kniha

Proceedings of 8th Conference STUDENT EEICT 2002

Strany od

511

Strany do

515

Strany počet

5

BibTex

@inproceedings{BUT10018,
  author="František {Ščuglík}",
  title="Formal specification and verification of already composed systems",
  booktitle="Proceedings of 8th Conference STUDENT EEICT 2002",
  year="2002",
  pages="511--515",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="80-214-2116-9"
}