Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
KUČERA, P., ZEZULKA, F., ŠVÉDA, M., VRBA, R.
Originální název
Executable specification for Process Automation and Microelectronics
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální 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.
Klíčová slova v angličtině
formal specification, prototyping techniques, Internet, of microelectronic
Autoři
Rok RIV
2004
Vydáno
1. 1. 2002
Místo
Lund
ISBN
1-85769-169-5
Kniha
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems
Strany od
245
Strany do
250
Strany počet
6
BibTex
@{BUT183130 }