A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories
AIAA Infotech @ Aerospace
01.01.2015
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories (AIAA 2015-0795)
British Library Conference Proceedings | 2015
|Software safety architecture that can be formally verified
Kraftfahrwesen | 2004
|