Publications

Papers and articles published with myself as an author.

2020

Integrating runtime verification into an automated uas traffic management system. M Cauwels, A Hammer, B Hertz, PH Jones, KY Rozier - European Conference on Software Architecture, 2020

PDF

Bibtex