Detail publikace

An Approach to the Design of Networked Embedded Systems

ŠVÉDA Miroslav a VRBA Radimír. An Approach to the Design of Networked Embedded Systems. In: Proceedings of the 16th IFAC WORLD CONGRESS, 2005. Kidlington, Oxford: Elsevier Science, 2005, s. 6. ISBN 0-08-045108-X. ISSN 1474-6670.
Název česky
Jeden přístup k návrhu síťových vestavěných systémů
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt

Příspěvek presentuje přístup k formální specifikaci, verifikaci a prototypování síťových aplikací vestavěných systémů. Je zaměřen zejména na proveditelné specifikace a rychlé prototypování pro strukturální návrh a specifikace architektury a verifikace pro objektově orientovaný návrh. Příspěvek představuje dva původní jazyky vyvinuté pro tento účel.

Rok
2005
Strany
6
Časopis
IFAC-PapersOnLine, roč. 16, č. 1, ISSN 1474-6670
Sborník
Proceedings of the 16th IFAC WORLD CONGRESS, 2005
Konference
16th IFAC WORLD CONGRESS 2005, Praha, CZ
ISBN
0-08-045108-X
Vydavatel
Elsevier Science
Místo
Kidlington, Oxford, GB
BibTeX
@INPROCEEDINGS{FITPUB7813,
   author = "Miroslav \v{S}v\'{e}da and Radim\'{i}r Vrba",
   title = "An Approach to the Design of Networked Embedded Systems",
   pages = 6,
   booktitle = "Proceedings of the 16th IFAC WORLD CONGRESS, 2005",
   journal = "IFAC-PapersOnLine",
   volume = 16,
   number = 1,
   year = 2005,
   location = "Kidlington, Oxford, GB",
   publisher = "Elsevier Science",
   ISBN = "0-08-045108-X",
   ISSN = "1474-6670",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7813"
}
Nahoru