Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Ricky W. Butler, Jeffrey Maddalon, Alfons Geser, César Muñoz. Simulation and verification I: formal analysis of air traffic management systems: the case of conflict resolution and recovery. In Stephen E. Chick, Paul J. Sanchez, David M. Ferrin, Douglas J. Morrice, editors, Proceedings of the 35th Winter Simulation Conference: Driving Innovation, New Orleans, Louisiana, USA, December 7-10, 2003. pages 906-914, ACM, 2003. [doi]

This author has not been identified. Look up 'Ricky W. Butler' in GoogleThis author has not been identified. Look up 'Jeffrey Maddalon' in GoogleThis author has not been identified. Look up 'Alfons Geser' in GoogleThis author has not been identified. Look up 'César Muñoz' in Google

runs on WebDSL