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