Detail publikace

Formal specification of IEEE1451.1 fragments

BUREŠ František a RYŠAVÝ Ondřej. Formal specification of IEEE1451.1 fragments. In: 11. International Conference on Software, Telecommunications & Computer Networks. Split: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split, 2003, s. 282-287. ISBN 953-6114-64-X.
Název česky
Formalní specifikace IEEE1451.1 fragmentu
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Bureš František, Ing. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
Abstrakt

Případová studie zabývající se formální specifikací části normy IEEE1451.1 v prostředí theorem-proving nástrojů.

Rok
2003
Strany
282-287
Sborník
11. International Conference on Software, Telecommunications & Computer Networks
Konference
2003 International Conference on Software, Telecommunications and Computer Networks, Split, HR
ISBN
953-6114-64-X
Vydavatel
Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split
Místo
Split, HR
BibTeX 
@INPROCEEDINGS{FITPUB7320,
   author = "Franti\v{s}ek Bure\v{s} and Ond\v{r}ej Ry\v{s}av\'{y}",
   title = "Formal specification of IEEE1451.1 fragments",
   pages = "282--287",
   booktitle = "11. International Conference on Software, Telecommunications \& Computer Networks",
   year = 2003,
   location = "Split, HR",
   publisher = "Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split",
   ISBN = "953-6114-64-X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7320"
}
Nahoru