Back to Results
First PageMeta Content
Physics / Logic / Quantity / VLO / Traffic collision avoidance system / Work / Quantifier


Int J Softw Tools Technol Transfer:717–741 DOIs10009A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System Jean-Baptiste Jeannin
Add to Reading List

Document Date: 2018-02-19 21:13:22


Open Document

File Size: 1,29 MB

Share Result on Facebook
UPDATE