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

ISSN

1210-9592

Periodikum

Automa

Ročník

2011

Číslo

4

Stát

CZ

Strany od

58

Strany do

60

Strany počet

3

URL

Dokumenty

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"
}