Detail publikace

Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1

BUREŠ František a RYŠAVÝ Ondřej. Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1. ElectronicsLetters.com, roč. 2003, č. 6, s. 6. ISSN 1213-161X.
Název česky
Popis vybraných tříd specifikace stadndardu IEEE 1451.1
Typ
článek v časopise
Jazyk
angličtina
Autoři
Bureš František, Ing. (UIFS FIT VUT)
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS FIT VUT)
URL
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
6
Časopis
ElectronicsLetters.com, roč. 2003, č. 6, ISSN 1213-161X
Kniha
ElectronicsLetters.com
BibTeX 
@ARTICLE{FITPUB7247,
   author = "Franti\v{s}ek Bure\v{s} and Ond\v{r}ej Ry\v{s}av\'{y}",
   title = "Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1",
   pages = 6,
   booktitle = "ElectronicsLetters.com",
   journal = "ElectronicsLetters.com",
   volume = 2003,
   number = 6,
   year = 2003,
   ISSN = "1213-161X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7247"
}
Nahoru