Detail výsledku

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.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Bureš František, Ing., FIT (FIT)
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

Rok
2003
Strany
614–618
Sborník
Proceedings of the 9th Conference and Competition STUDENT EEICT 2003
Konference
Student EEICT 2003
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"
}
Projekty
Vestavěné řídicí systémy a jejich vzájemná komunikace, GAČR, Standardní projekty, GA102/02/1032, zahájení: 2002-01-01, ukončení: 2004-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina Superpočítačových technologií SC@FIT (VZ SC@FIT)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru