2017
A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system
Abstract
Citation
article: Jeannin_2016 doi: 10.1007/s10009-016-0434-1 url: https://doi.org/10.1007/s10009-016-0434-1 year: 2016 month: oct publisher: Springer Nature volume: 19 number: 6 pages: 717--741 author: Jeannin Jean-Baptiste and Ghorbal Khalil and Kouskoulas Yanni and Schmidt Aurora and Gardner Ryan and Mitsch Stefan and Platzer Andr\'e title: A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system journal: International Journal on Software Tools for Technology Transfer
Citation
article: Jeannin_2016 doi: 10.1007/s10009-016-0434-1 url: https://doi.org/10.1007/s10009-016-0434-1 year: 2016 month: oct publisher: Springer Nature volume: 19 number: 6 pages: 717--741 author: Jeannin Jean-Baptiste and Ghorbal Khalil and Kouskoulas Yanni and Schmidt Aurora and Gardner Ryan and Mitsch Stefan and Platzer Andr\'e title: A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system journal: International Journal on Software Tools for Technology Transfer