Detail výsledku

Executable specification for Process Automation and Microelectronics

KUČERA, P., ZEZULKA, F., ŠVÉDA, M., VRBA, R. Executable specification for Process Automation and Microelectronics. In IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Lund: 2002. 6 p. ISBN: 1-85769-169-5.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Kučera Pavel, Ing., Ph.D.
Zezulka František, prof. Ing., CSc.
Švéda Miroslav, prof. Ing., CSc.
Vrba Radimír, prof. Ing., CSc.
Abstrakt

In the paper, an introduction to the developed asynchronous specification language is followed by a review to the related prototyping techniques. The main part of the paper deals with an application of the language for two-level specification of an Internet-based appliance for pressure measurement. While the upper level of this specification focuses on process automation aspects, the lower level provides behavioral definitions of microelectronic system's implementation facets.

Rok
2002
Strany
6
Sborník
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Konference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
ISBN
1-85769-169-5
Místo
Lund
BibTeX 
@inproceedings{BUT5088,
  author="Pavel {Kučera} and František {Zezulka} and Miroslav {Švéda} and Radimír {Vrba}",
  title="Executable specification for Process Automation and Microelectronics",
  booktitle="IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems",
  year="2002",
  pages="6",
  address="Lund",
  isbn="1-85769-169-5"
}
Pracoviště
Ústav automatizace a měřicí techniky (UAMT)
Nahoru