Sheldon X. Liang, Lyle A. Reibling, John Betts. Re-ADA: reliable Ada-based descriptive architecture for C4ISR via a quantitative interoperating model. In Michael B. Feldman, Leemon C. Baird III, editors, Proceedings of the 2008 Annual ACM SIGAda International Conference on Ada, Portland, OR, USA, October 26-30, 2008. pages 39-56, ACM, 2008. [doi]
Abstract is missing.