Detail publikace

Návrh časově kritických systémů IV: realizace prostředky RTOS

STRNADEL, J.

Originální název

Návrh časově kritických systémů IV: realizace prostředky RTOS

Český název

Návrh časově kritických systémů IV: realizace prostředky RTOS

Typ

článek v časopise - ostatní, Jost

Jazyk

cs

Originální abstrakt

V článku je demonstrován vztah mezi formální specifikací RT systému, jeho modelem pomocí množiny RT úloh a jeho realizací prostředky RTOS. Článek uzavírá čtyřdílný seriál zabývající se principy návrhu časově kritických systémů.

Český abstrakt

V článku je demonstrován vztah mezi formální specifikací RT systému, jeho modelem pomocí množiny RT úloh a jeho realizací prostředky RTOS. Článek uzavírá čtyřdílný seriál zabývající se principy návrhu časově kritických systémů.

Rok RIV

2011

Vydáno

20.04.2011

Nakladatel

NEUVEDEN

Místo

NEUVEDEN

Strany od

58

Strany do

60

Strany počet

3

URL

https://www.fit.vut.cz/research/publication/9569/

BibTex 


@article{BUT76325,
  author="Josef {Strnadel}",
  title="Návrh časově kritických systémů IV: realizace prostředky RTOS",
  annote="V článku je demonstrován vztah mezi formální specifikací RT systému, jeho modelem
pomocí množiny RT úloh a jeho realizací prostředky RTOS. Článek uzavírá čtyřdílný
seriál zabývající se principy návrhu časově kritických systémů.",
  address="NEUVEDEN",
  chapter="76325",
  edition="NEUVEDEN",
  howpublished="print",
  institution="NEUVEDEN",
  number="4",
  volume="2011",
  year="2011",
  month="april",
  pages="58--60",
  publisher="NEUVEDEN",
  type="journal article - other"
}