Testing properties of safety-critical systems using C-Sim tool
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F49777513%3A23520%2F03%3A00000008" target="_blank" >RIV/49777513:23520/03:00000008 - 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
Testing properties of safety-critical systems using C-Sim tool
Popis výsledku v původním jazyce
The paper presents a method for the verification of safety-critical properties of systems based on a discrete-time simulation tool - the C-Sim library.
Název v anglickém jazyce
Testing properties of safety-critical systems using C-Sim tool
Popis výsledku anglicky
The paper presents a method for the verification of safety-critical properties of systems based on a discrete-time simulation tool - the C-Sim library.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
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
The 7th World Multiconference on Systemics, Cybernetics and Informatics
ISBN
980-6560-01-9
ISSN
—
e-ISSN
—
Počet stran výsledku
6
Strana od-do
276-281
Název nakladatele
IIIS
Místo vydání
Orlando
Místo konání akce
Orlando
Datum konání akce
27. 7. 2003
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—