Přístupnostní navigace
E-application
Search Search Close
Publication detail
BUREŠ, F.
Original Title
Selected Methods of Specification and Verification of Industriall Application
Type
article in a collection out of WoS and Scopus
Language
English
Original Abstract
This paper presents some formal methods for specification and verification of industrial applications (for example embedded systems) and applying those methods in frame of system design. One goal of this work is founding the major formal methods and representation potential users of such methods.
Keywords
formal methods, model checking, theorem proving
Authors
Released
24. 4. 2003
Publisher
Faculty of Electrical Engineering and Communication BUT
Location
Brno
ISBN
80-214-2379-X
Book
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
Pages from
614
Pages to
618
Pages count
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" }