Incremental Computation of Succinct Abstractions for Hybrid Systems

Bibliografické údaje

Autoři

• Tomáš Dzetkulič

Rok vydání

2011

Typ publikace

Abstrakt

Periodikum

Doktorandské dny '11

Projekty

• Verifikace hybridních systémů využitím spolupráce s řešením omezujících podmínek
• Res Informatica
• Efektivní zacházení s nelineárními numerickými omezeními vyskytujícími se v automatické dedukci o bohatých modelech počítačových systémů.

Bibliografická citace

DZETKULIČ, Tomáš. Incremental Computation of Succinct Abstractions for Hybrid Systems. In: KUŽELOVÁ, D., HAKL, F., eds. Doktorandské dny '11. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2011, S. 19. ISBN 978-80-7378-170-5.

ID

364971