Publication detail

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

Original Title

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

Czech Title

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

Language

cs

Original Abstract

Jeden ze série tří článků pojednávajících o možnosti formalizace návrhu software prostřednictvím konečných automatů, respektive jejich modifikace s ohledem na aplikace vestavěných systémů. Text se koncentruje na možnosti transformace automatu do kódu programovacího jazyka tak, aby byl využitelný na co nejvíce platformách.

Czech abstract

Jeden ze série tří článků pojednávajících o možnosti formalizace návrhu software prostřednictvím konečných automatů, respektive jejich modifikace s ohledem na aplikace vestavěných systémů. Text se koncentruje na možnosti transformace automatu do kódu programovacího jazyka tak, aby byl využitelný na co nejvíce platformách.

Documents

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/)",
  annote="Jeden ze série tří článků pojednávajících o možnosti formalizace návrhu software
prostřednictvím konečných automatů, respektive jejich modifikace s ohledem na
aplikace vestavěných systémů. Text se koncentruje na možnosti transformace
automatu do kódu programovacího jazyka tak, aby byl využitelný na co nejvíce
platformách.",
  chapter="48160",
  journal="AT&P Journal",
  number="12",
  volume="06",
  year="2006",
  month="december",
  pages="69--70",
  type="journal article - other"
}