Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 1.Ident. | Authors (with country if any) | Title |
---|---|---|
000056 | Jean-Baptiste Jeannin [États-Unis] ; Khalil Ghorbal [France] ; Yanni Kouskoulas [États-Unis] ; Aurora Schmidt [États-Unis] ; Ryan Gardner [États-Unis] ; Stefan Mitsch [Autriche] ; André Platzer [États-Unis] | A Formally Verified Hybrid System for Safe Advisories in the Next-Generation Airborne Collision Avoidance System |
This area was generated with Dilib version V0.6.38. |