Detail publikace

Selected Methods of Specification and Verification of Industriall Application

BUREŠ František. Selected Methods of Specification and Verification of Industriall Application. In: Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003, s. 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
angličtina
Autoři
Bureš František, Ing. (UIFS FIT VUT)
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
ELECTRICAL ENGINEERING, INFORMATION AND COMMUNICATION TECHNOLOGIES 2003, Brno, CZ
ISBN
80-214-2379-X
Vydavatel
Fakulta elektrotechniky a komunikačních technologií VUT v Brně
Místo
Brno, CZ
BibTeX 
@INPROCEEDINGS{FITPUB7205,
   author = "Franti\v{s}ek Bure\v{s}",
   title = "Selected Methods of Specification and Verification of Industriall Application",
   pages = "614--618",
   booktitle = "Proceedings of the 9th Conference and Competition STUDENT EEICT 2003",
   year = 2003,
   location = "Brno, CZ",
   publisher = "Faculty of Electrical Engineering and Communication BUT",
   ISBN = "80-214-2379-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7205"
}
Nahoru