Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Narkawicz, Anthony J. - NASA Langley Research Center
Uncertainty Analysis via Failure Domain Characterization: Polynomial Requirement Functions
Provably Correct Conflict Prevention Bands Algorithms Anthony Narkawicza, Cesar Mu~noza, Gilles Dowekb
How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project
Formalizing Probabilistic Safety Claims Heber Herencia-Zapana1
NASA/TM-2010-216706 Formal Verification of Air Traffic
NASA/TP2011217067 State-Based Implicit Coordination
NASA/TM2010216862 A Criteria Standard for Conflict
NASA/TM2010216857 Time of Closest Approach in
A Formal Proof Of The Riesz Representation Anthony Narkawicz
