A BDOTI Logical Framework of Airborne Command Control System.

Jinxing Liu, Youlong Yang, Mingan Tong

Browse the full ISDA paper archive.