Challenges in Assuring Highly Complex, High Volume Safety-Critical Software.

John MacGregor, Simon Burton

Browse the full SAFECOMP paper archive.