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