Formal Reasoning for Air Traffic Control System Using Event-B Method.

Abdessamad Jarrar, Youssef Balouki

Browse the full ICCSA paper archive.