Hybrid Verification of an Air Traffic Operational Concept (2005)

by C Muñoz, G Dowek
Venue:In: Proceedings of IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation