Publication Details

Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/třetí čá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 (/třetí část/). AT&P Journal, vol. 07, no. 02, 2007, pp. 57-58. ISSN 1335-2237.

English title

Formal Methods of Software Design Applied on Embedded Systems: Platform-Independent Source Code (/Part 3/)

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. 2, ISSN 1335-2237

BibTeX

@ARTICLE{FITPUB8279,
   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 (/t\v{r}et\'{i} \v{c}\'{a}st/)",
   pages = "57--58",
   journal = "AT\&P Journal",
   volume = 07,
   number = 02,
   year = 2007,
   ISSN = "1335-2237",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/8279"
}