Publication Details

Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/)

KOLÁŘ Dušan and BLIŽŇÁK Michal. Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/druhá část/). AT&P Journal, vol. 07, no. 01, 2007, pp. 57-58. ISSN 1335-2237.
English title
Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 2/)
Type
journal article
Language
czech
Authors
Kolář Dušan, doc. Dr. Ing. (DIFS FIT BUT)
Bližňák Michal, Ing. (TBU)
Keywords

embedded systems, formal design, source code

Abstract

One of three articles informing about formal means used in software development for embedded systems. It concantrates on a platform independent code generation.

Published
2007
Pages
57-58
Journal
AT&P Journal, vol. 7, no. 1, ISSN 1335-2237
BibTeX
@ARTICLE{FITPUB8278,
   author = "Du\v{s}an Kol\'{a}\v{r} and Michal Bli\v{z}\v{n}\'{a}k",
   title = "Form\'{a}ln\'{i} metody n\'{a}vrhu software aplikovan\'{e} na embedded syst\'{e}my: Platformn\v{e} nez\'{a}visl\'{y} zdrojov\'{y} k\'{o}d (/druh\'{a} \v{c}\'{a}st/)",
   pages = "57--58",
   journal = "AT\&P Journal",
   volume = 07,
   number = 01,
   year = 2007,
   ISSN = "1335-2237",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/8278"
}
Back to top