Refinement of Fault Tolerant Control Systems in B.

Linas Laibinis, Elena Troubitsyna

Browse the full SAFECOMP paper archive.