Back to Results
First PageMeta Content



A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System? Jean-Baptiste Jeannin1 , Khalil Ghorbal1 , Yanni Kouskoulas2 , Ryan Gardner2 , Aurora Schmidt2 , Erik Zawadzki1 , and AndrĀ“e
Add to Reading List

Document Date: 2015-05-04 14:47:55


Open Document

File Size: 497,85 KB

Share Result on Facebook
UPDATE