Login / Signup

A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system.

Jean-Baptiste JeanninKhalil GhorbalYanni KouskoulasAurora C. SchmidtRyan W. GardnerStefan MitschAndré Platzer
Published in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases