"A Formally Verified Hybrid System for the Next-Generation Airborne ..."

Jean-Baptiste Jeannin et al. (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics