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

First Page		Document Content
Date: 2018-02-19 21:13:22 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 Source URL: symbolaris.com Download Document from Source Website File Size: 1,29 MB Share Document on Facebook