TY - RPRT TI - Advanced Software V&V for Civil Aviation and Autonomy AU - Brat, Guillaume P. PY - 2017 UR - https://ntrs.nasa.gov/citations/20170009805 ID - 20170009805 ER -