Now showing items 1-1 of 1
Formal specification and verification of safety interlock systems: A comparative case study
(Stellenbosch : University of Stellenbosch, 2007-12)
The ever-increasing reliance of society on computer systems has led to a need for highly reliable systems. There are a number of areas where computer systems perform critical functions and the development of such systems ...