Detail publikačního výsledku

Formal specification and verification of already composed systems

ŠČUGLÍK, F.

Originální název

Formal specification and verification of already composed systems

Anglický název

Formal specification and verification of already composed systems

Druh

Stať ve sborníku mimo WoS a Scopus

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.

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

Klíčová slova v angličtině

CSP, system, application, Formal specification, Formal language

Autoři

ŠČUGLÍK, F.

Rok RIV

2011

Vydáno

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