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