| |
| 1999 | ||
|---|---|---|
| 3 | Jin Song Dong, Brendan P. Mahony, Neale Fulton: Capturing Periodic Concurrent Interactions of Mission Computer Tasks. APSEC 1999: 538-545 | |
| 2 | EE | Jin Song Dong, Brendan P. Mahony, Neale Fulton: Modeling Aircraft Mission Computer Task Rates. World Congress on Formal Methods 1999: 1855 |
| 1997 | ||
| 1 | Jin Song Dong, Neale Fulton, Lin Zucconi, John Colton: Formalizing Process Scheduling Requirements for an Aircraft Operational Flight Program. ICFEM 1997: 161- | |
| 1 | John Colton | [1] |
| 2 | Jin Song Dong | [1] [2] [3] |
| 3 | Brendan P. Mahony | [2] [3] |
| 4 | Lin Zucconi | [1] |