Detail publikačního výsledku

Selected Methods of Specification and Verification of Industriall Application

BUREŠ, F.

Originální název

Selected Methods of Specification and Verification of Industriall Application

Anglický název

Selected Methods of Specification and Verification of Industriall Application

Druh

Stať ve sborníku mimo WoS a Scopus

Originální abstrakt

This paper presents some formal methods for specification andverification of industrial applications (for example embedded systems)and applying those methods in frame of system design. One goal of thiswork is founding the major formal methods and representation potentialusers of such methods.

Anglický abstrakt

This paper presents some formal methods for specification andverification of industrial applications (for example embedded systems)and applying those methods in frame of system design. One goal of thiswork is founding the major formal methods and representation potentialusers of such methods.

Klíčová slova

formal methods, model checking, theorem proving

Klíčová slova v angličtině

formal methods, model checking, theorem proving

Autoři

BUREŠ, F.

Vydáno

24.04.2003

Nakladatel

Faculty of Electrical Engineering and Communication BUT

Místo

Brno

ISBN

80-214-2379-X

Kniha

Proceedings of the 9th Conference and Competition STUDENT EEICT 2003

Strany od

614

Strany do

618

Strany počet

5

BibTex

@inproceedings{BUT13996,
  author="František {Bureš}",
  title="Selected Methods of Specification and Verification of Industriall Application",
  booktitle="Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
  year="2003",
  pages="614--618",
  publisher="Faculty of Electrical Engineering and Communication BUT",
  address="Brno",
  isbn="80-214-2379-X"
}