Formal Monitoring of Risk-based Geofences
2018 AIAA Information Systems-AIAA Infotech @ Aerospace
2018-01-01
Conference paper
Electronic Resource
English
Formal Monitoring of Risk-based Geofences (AIAA 2018-1986)
British Library Conference Proceedings | 2018
|