Safe and Reliable Computer Control Systems an Overview.

Henrik Thane

Browse the full SAFECOMP paper archive.