Publication Details

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

KOLÁŘ, D.; BLIŽŇÁK, M. Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/první část/). AT&P Journal, 2006, roč. 06, č. 12, s. 69-70. ISSN: 1335-2237.

English title

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

Type

journal article

Language

Czech

Authors

Kolář Dušan, doc. Dr. Ing. (DIFS)
Bližňák Michal, Ing.

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

2006

Pages

69–70

Journal

AT&P Journal, vol. 06, no. 12, ISSN 1335-2237

BibTeX

@article{BUT48160,
  author="Dušan {Kolář} and Michal {Bližňák}",
  title="Formální metody návrhu software aplikované na embedded systémy: Platformně nezávislý zdrojový kód (/první část/)",
  journal="AT&P Journal",
  year="2006",
  volume="06",
  number="12",
  pages="69--70",
  issn="1335-2237"
}