Detail publikace

Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1

BUREŠ, F.; RYŠAVÝ, O. Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1. ElectronicsLetters.com - http://www.electronicsletters.com, 2003, vol. 2003, no. 6, p. 0-0. ISSN: 1213-161X.
Název česky
Popis vybraných tříd specifikace stadndardu IEEE 1451.1
Typ
článek v časopise
Jazyk
anglicky
Autoři
Bureš František, Ing.
Ryšavý Ondřej, doc. Ing., Ph.D. (UIFS)
URL
Klíčová slova

Internet, IEEE 1451.1, object-oriented specifications

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 - http://www.electronicsletters.com, roč. 2003, č. 6, ISSN 1213-161X
Kniha
ElectronicsLetters.com
BibTeX 
@article{BUT42005,
  author="František {Bureš} and Ondřej {Ryšavý}",
  title="Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1",
  journal="ElectronicsLetters.com - http://www.electronicsletters.com",
  year="2003",
  volume="2003",
  number="6",
  pages="6",
  issn="1213-161X",
  url="http://www.electronicsletters.com/papers/2003/0014/paper.asp"
}
Nahoru