Detail publikace

Selected Methods of Specification and Verification of Industriall Application

BUREŠ, F. Selected Methods of Specification and Verification of Industriall Application. Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003. p. 614-618. ISBN: 80-214-2379-X.

Název česky

Vybrané metody specifikace a verifikace průmyslových aplikací

Typ

článek ve sborníku konference

Jazyk

anglicky

Autoři

Bureš František, Ing.

Klíčová slova

formal methods, model checking, theorem proving

Abstrakt

Tento článek prezentuje některé formální metody pro specifikaci a verifikaci průmyslových aplikací a aplikování těchto metod v rámci návrhu systému.

Rok

2003

Strany

614–618

Sborník

Proceedings of the 9th Conference and Competition STUDENT EEICT 2003

Konference

Student EEICT 2003, Brno, CZ

ISBN

80-214-2379-X

Vydavatel

Faculty of Electrical Engineering and Communication BUT

Místo

Brno

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