The Confinement Problem in the Presence of Faults

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-34281-3_15 ◽

2012 ◽

pp. 182-197 ◽

Author(s):

William L. Harrison ◽

Adam Procter ◽

Gerard Allwein

Download Full-text