Návrh a verifikace modelů systémů pracujících v reálném čase v UML
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU49067" target="_blank" >RIV/00216305:26230/03:PU49067 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Design and Verification of Real-Time UML System Models
Popis výsledku v původním jazyce
The paper presents a methodology for real-time systems design including related verification technique, and their capability for verification of real-time requirements with time-bounded constraints.
Název v anglickém jazyce
Design and Verification of Real-Time UML System Models
Popis výsledku anglicky
The paper presents a methodology for real-time systems design including related verification technique, and their capability for verification of real-time requirements with time-bounded constraints.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA102%2F02%2F1032" target="_blank" >GA102/02/1032: Vestavěné řídicí systémy a jejich vzájemná komunikace</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
Rok uplatnění
2003
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Programmable Devices and Systems 2003
ISBN
0-08-044130-0
ISSN
—
e-ISSN
—
Počet stran výsledku
4
Strana od-do
311-314
Název nakladatele
Elsevier Science
Místo vydání
Kidlington, Oxford
Místo konání akce
Ostrava
Datum konání akce
11. 2. 2003
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—