Safety Case for the NERC Air Traffic Control System.

Shoky Visram, Werner Artner, Philip Marsden

Browse the full SAFECOMP paper archive.