Journal article

ŠVÉDA Miroslav. Local Time for Formal Specification of Networked Embedded System. WSEAS Transactions on Computers. Athens: World Scientific and Engineering Academy, 2003, vol. 2, no. 1, pp. 4-9. ISSN 1109-2750.
Publication language:english
Original title:Local Time for Formal Specification of Networked Embedded System
Title (cs):Lokální čas pro formální specifikace sítí vestavěných systémů
Book:WSEAS Transactions on Computers
Journal:WSEAS Transactions on Computers, Vol. 2, No. 1, Athens, GR
Sensor-based embedded systems, behavioral specifications, local time semantics, IEEE 1451, Internet
The paper deals with a formal specification environment supporting a design method aimed at small real-time embedded applications with distributed architectures. After discussing the notion of local time and reviewing an originally developed specification language dedicated to local-time concepts, main attention is focused on a treating real world, networked measurement system application as a case study to demonstrate utilization of this language for behavioral specifications. Concurrently, this contribution examines, how to employ non-object oriented specification tools for object-oriented implementations.
   author = {Miroslav {\v{S}}v{\'{e}}da},
   title = {Local Time for Formal Specification of Networked Embedded
   pages = {4--9},
   booktitle = {WSEAS Transactions on Computers},
   journal = {WSEAS Transactions on Computers},
   volume = {2},
   number = {1},
   year = {2003},
   ISSN = {1109-2750},
   language = {english},
   url = {}

Your IPv4 address:
Switch to IPv6 connection

DNSSEC [dnssec]