Software Process Synthesis in Assurance Based Development of Dependable Systems.

Patrick J. Graydon, John C. Knight

Browse the full EDCC paper archive.