Narkawicz, Anthony books & textbook
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings (Programming and Software Engineering)
Dutle, Aaron Muñoz, César Narkawicz, Anthony
Springer /2018-03-11 Paperback / 481 Pages
isbn-10: 3319779346 / isbn-13: 9783319779348
A Formally-Verified Decision Procedure for Univariate Polynomial Computation Based on Sturm's Theorem
NASA /2014T Paperback
An Independent and Coordinated Criterion for Kinematic Aircraft Maneuvers
NASA /2014T Paperback
A Well-Clear Volume Based on Time to Entry Point
NASA /2014T Paperback
A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories
NASA /2015T Paperback
