Integrating Runtime Verification into an Automated UAS Traffic Management System

von Cauwels, Matthew
Veröffentlicht in ECSA (14. : 2020 : L'Aquila; Online) Software architecture (2020)