host ::
přihlásit
Digitální repozitář
Hledej
Nový záznam
Nápověda
O repozitáři
Hlavní stránka
>
Konferenční materiály
>
Příspěvky z konference
> Verification of Hybrid Systems by Incremental Abstract Forward/Backward Computation
Informace
Soubory
Název:
Verification of Hybrid Systems by Incremental Abstract Forward/Backward Computation
Autoři:
Dzetkulič, Tomáš
Typ dokumentu:
Příspěvky z konference
Konference/Akce:
Doktorandské dny 2010 Ústavu informatiky AV ČR, v. v. i.
, Heřmanice v Podještědí (CZ), 2010-09-29 / 2010-10-01
Rok:
2010
Jazyk:
eng
Klíčová slova:
hybrid dynamical systems
;
verification
Číslo projektu:
CEZ:AV0Z10300504
(
CEP
),
GD201/09/H057
(
CEP
),
GC201/08/J020
(
CEP
)
Poskytovatel projektu:
GA ČR, GA ČR
Zdrojový dokument:
Doktorandské dny '10, ISBN 978-80-7378-133-0
Práva:
Dílo je chráněno podle autorského zákona č.
121/2000
Sb.
Instituce:
Ústav informatiky AV ČR (
web
)
Původní záznam:
http://hdl.handle.net/11104/0188806
Trvalý odkaz NUŠL:
http://www.nusl.cz/ntk/nusl-41749
Záznam je zařazen do těchto sbírek:
Věda a výzkum
>
AV ČR
>
Ústav informatiky
Konferenční materiály
>
Příspěvky z konference
Záznam vytvořen dne 2011-07-01, naposledy upraven 2024-01-26.
Podobné záznamy
Plný tet:
PDF
[Stáhnout]
Plný text:
PDF
[Stáhnout]
Pokud se vám dokument nezobrazí v prohlížeči, uložte jej na svůj PC a otevřete jej v příslušném programu.
Exportovat ve formátu
DC
,
NUŠL
,
RIS
Sdílet