How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ricky W. Butler, George Hagen, Jeffrey Maddalon, César A. Muñoz, Anthony Narkawicz, Gilles Dowek. How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project. In César Muñoz, editor, Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings. Volume NASA/CP-2010-216215 of NASA Conference Proceedings, pages 34-46, 2010.

This author has not been identified. Look up 'Ricky W. Butler' in GoogleThis author has not been identified. Look up 'George Hagen' in GoogleThis author has not been identified. Look up 'Jeffrey Maddalon' in GoogleThis author has not been identified. It may be one of the following persons:

César A. Muñoz

Look up 'César A. Muñoz' in GoogleThis author has not been identified. Look up 'Anthony Narkawicz' in GoogleThis author has not been identified. Look up 'Gilles Dowek' in Google

runs on WebDSL