Zpět na hledáníAn Algorithm for Formal Safety Verification of Complex Heterogeneous Systems (2012)výskyt výsledku
| Identifikační kód | RIV/67985807:_____/12:00377611 |
|---|---|
| Název v anglickém jazyce | An Algorithm for Formal Safety Verification of Complex Heterogeneous Systems |
| Druh | D - Stať ve sborníku |
| Jazyk | eng - angličtina |
| Obor - skupina | J - Průmysl |
| Obor | JC - Počítačový hardware a software |
| Rok uplatnění | 2012 |
| Kód důvěrnosti údajů | S - Úplné a pravdivé údaje o výsledku nepodléhající ochraně podle zvláštních právních předpisů. |
| Počet výskytů výsledku | 2 |
| Počet tvůrců celkem | 1 |
| Počet domácích tvůrců | 1 |
| Výčet všech uvedených jednotlivých tvůrců | Stefan Ratschan (státní příslušnost: AT - Rakouská republika, domácí tvůrce: A) |
| Popis výsledku v anglickém jazyce | Modern technical systems are heterogeneous in the sense that they tightly integrate computational elements into physical surroundings. Computational elements usually require discrete, and physical systems continuous modeling. In this paper, we present anmodeling formalism and safety verification algorithm for such heterogeneous systems. |
| Klíčová slova oddělená středníkem | verification; complex systems; safety |
| Stránka www, na které se nachází výsledek | - |
| Odkaz na údaje z výzkumu | - |
Údaje o výsledku v závislosti na druhu výsledku
| Název sborníku | REC 2012. Proceedings of the 5th International Conference on Reliable Engineering Computing |
|---|---|
| ISBN | 978-80-214-4507-9 |
| ISSN | - |
| e-ISSN | - |
| Počet stran výsledku | 11 |
| Strana od-do | 457-467 |
| Název nakladatele | Litera |
| Místo vydání | Brno |
| Místo konání akce | Brno |
| Datum konání akce | 13.06.2012 |
| Typ akce podle státní příslušnosti účastníků | WRD - Celosvětová |
| Kód UT WoS článku podle Web of Science | - |
| EID výsledku v databázi Scopus | - |
Ostatní informace o výsledku
| Předkladatel | Ústav informatiky AV ČR, v. v. i. |
|---|---|
| Dodavatel | AV0 - Akademie věd České republiky (AV ČR ) |
| Rok sběru | 2013 |
| Specifikace | RIV/67985807:_____/12:00377611!RIV13-AV0-67985807 |
| Datum poslední aktualizace výsledku | 05.09.2013 |
| Kontrolní číslo | 43484173 |
Informace o dalších výskytech výsledku dodaného stejným předkladatelem
| Dodáno MŠMT v roce 2013 | RIV/67985807:_____/12:00377611 v dodávce dat RIV13-MSM-67985807/01:1 |
|---|
Odkazy na výzkumné aktivity, při jejichž řešení výsledek vznikl
| Podpora / návaznosti | Institucionální podpora na rozvoj výzkumné organizace |
|---|