Falsification of Hybrid Systems

Bibliographic details

Authors

Jan Kuřátko

Publication year

2012

Publication type

Abstrakt

Periodical

Doktorandské dny '12

Projects

• Integrated Verification and Falsification of Hybrid Systems of Industrial Size

Bibliographic citation

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