Towards Agile Engineering of High-Integrity Systems.

Richard F. Paige, Ramon Charalambous, Xiaocheng Ge, Phillip J. Brooke

Browse the full SAFECOMP paper archive.