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

Lecture Notes in Computer Science - Computer Safety, Reliability, and Security ◽

10.1007/978-3-642-15651-9_28 ◽

2010 ◽

pp. 375-388

Author(s):

Peter Bishop ◽

Kostas Tourlas ◽

Nick Chozos

Download Full-text