An Approach to Using Non Safety-Assured Programmable Components in Modest Integrity Systems.

Peter G. Bishop, Konstantinos Tourlas, Nick Chozos

Browse the full SAFECOMP paper archive.