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