Old Web
English
Sign In
Acemap
>
authorDetail
>
Jean-Baptiste Jeannin
Jean-Baptiste Jeannin
Carnegie Mellon University
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Formal verification of ACAS X, an industrial airborne collision avoidance system
2015
| International Conference on Embedded Software
Jean-Baptiste Jeannin
Khalil Ghorbal
Yanni Kouskoulas
Ryan Gardner
Aurora Schmidt
Erik Zawadzki
André Platzer
Show All
Source
Cite
Save
Citations (0)
1