Fault Tolerance in a Layered Architecture: A General Specification Pattern in B.

Linas Laibinis, Elena Troubitsyna

Browse the full SEFM paper archive.