Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project Ricky W. Butler, George Hagen, Jeffrey M. Maddalon, C´esar A. Mu˜noz, Anthony Narkawicz NASA Langley Research Center Hampton, VA
Add to Reading List
Document Date: 2011-08-04 17:39:26
Open Document
File Size: 682,19 KB
Share Result on Facebook
How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project Ricky W. Butler, George Hagen, Jeffrey M. Maddalon, C´esar A. Mu˜noz, Anthony Narkawicz NASA Langley Research Center Hampton, VA