First Page | Document Content | |
---|---|---|
Date: 2018-02-19 21:13:22Physics 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 JeanninAdd to Reading ListSource URL: symbolaris.comDownload Document from Source WebsiteFile Size: 1,29 MBShare Document on Facebook |