Attributes | Values |
---|
rdf:type
| |
Description
| - 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ů.
- 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ů. (cs)
- In the article, relation among formal specification of an RT system, its model represented by a set of RT tasks and its realization by the means of an RTOS is illustrated. The article closes the 4-part serial dealing with the principles of designing time-critical systems. (en)
|
Title
| - Návrh časově kritických systémů IV: realizace prostředky RTOS
- Návrh časově kritických systémů IV: realizace prostředky RTOS (cs)
- Design of Time-Critical Systems IV: realization by the means of an RTOS (en)
|
skos:prefLabel
| - Návrh časově kritických systémů IV: realizace prostředky RTOS
- Návrh časově kritických systémů IV: realizace prostředky RTOS (cs)
- Design of Time-Critical Systems IV: realization by the means of an RTOS (en)
|
skos:notation
| - RIV/00216305:26230/11:PU96023!RIV13-MSM-26230___
|
http://linked.open...avai/predkladatel
| |
http://linked.open...avai/riv/aktivita
| |
http://linked.open...avai/riv/aktivity
| |
http://linked.open...iv/cisloPeriodika
| |
http://linked.open...vai/riv/dodaniDat
| |
http://linked.open...aciTvurceVysledku
| |
http://linked.open.../riv/druhVysledku
| |
http://linked.open...iv/duvernostUdaju
| |
http://linked.open...titaPredkladatele
| |
http://linked.open...dnocenehoVysledku
| |
http://linked.open...ai/riv/idVysledku
| - RIV/00216305:26230/11:PU96023
|
http://linked.open...riv/jazykVysledku
| |
http://linked.open.../riv/klicovaSlova
| - real time, operating system, timed automaton, specification, verification, task, task delay, task create, communication, message box, schedule (en)
|
http://linked.open.../riv/klicoveSlovo
| |
http://linked.open...odStatuVydavatele
| |
http://linked.open...ontrolniKodProRIV
| |
http://linked.open...i/riv/nazevZdroje
| |
http://linked.open...in/vavai/riv/obor
| |
http://linked.open...ichTvurcuVysledku
| |
http://linked.open...cetTvurcuVysledku
| |
http://linked.open...UplatneniVysledku
| |
http://linked.open...v/svazekPeriodika
| |
http://linked.open...iv/tvurceVysledku
| |
http://linked.open...n/vavai/riv/zamer
| |
issn
| |
number of pages
| |
http://localhost/t...ganizacniJednotka
| |
is http://linked.open...avai/riv/vysledek
of | |