Awas: AADL Information Flow and Error Propagation Analysis Framework.

Hariharan Thiagarajan, John Hatcliff, Robby

Browse the full ECSA paper archive.