Verification of aircraft controller: from process-based certification to product-based certification

Publication
Air Force Safe & Secure Systems & Software Symposium, S5 Conference, Dayton, OH, USA

Related