Finding Errors of Hybrid Systems by Optimising an Abstraction-Based Quality Estimate

action-Based Quality Estimate Stefan Ratschan Jan-Georg Smaus Institute of Computer Science of the Czech Academy of Sciences Albert-Ludwigs-Universit¨at Freiburg July 3, 2009 1 / 18 

• Type: Conference
• Year: 2009
• Where: TAP
• Authors: Stefan Ratschan, Jan-Georg Smaus
• Keywords: Hardware, Jan-Georg Smaus Institute, Quality Estimate Stefan, Sciences Albert-Ludwigs-Universit¨at Freiburg, TAP 2009