Falsification of Hybrid Systems

Bibliografické údaje

Autoři

• Jan Kuřátko

Rok vydání

2012

Typ publikace

Abstrakt

Periodikum

Doktorandské dny '12

Projekty

• Integrovaná verifikace a falzifikace hybridních systémů průmyslové velikosti

Bibliografická citace

KUŘÁTKO, Jan. Falsification of Hybrid Systems. In: KUŽELOVÁ, D., HAKL, F., eds. Doktorandské dny '12. Praha: Ústav informatiky AV ČR, v. v. i. & MATFYZPRESS, 2012, S. 41-41. ISBN 978-80-7278-217-7.

ID

380888