Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers

von Kouskoulas, Yanni
Veröffentlicht in FMICS (25. : 2020 : Online) Formal methods for industrial critical systems (2020)