Detail publikace

Formal specification of IEEE1451.1 fragments

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

formal specification, object orientation, network capable application processors, object calculus, higher-order logic

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
ISBN
953-6114-64-X
Vydavatel
Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split
Místo
Split
BibTeX 
@inproceedings{BUT10906,
  author="František {Bureš} and Ondřej {Ryšavý}",
  title="Formal specification of IEEE1451.1 fragments",
  booktitle="11. International Conference on Software, Telecommunications & Computer Networks",
  year="2003",
  pages="282--287",
  publisher="Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split",
  address="Split",
  isbn="953-6114-64-X"
}
Nahoru