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
Švéda Miroslav, prof. Ing., CSc. (UIFS FIT VUT)
Vrba Radimír, prof. Ing., CSc. (STI VUT)
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