Formal specification and verification of safety interlock systems: A comparative case study
Thesis (MSc (Mathematical Sciences))--University of Stellenbosch, 2007. === 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 r...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en |
| Published: |
Stellenbosch : University of Stellenbosch
2008
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10019.1/2162 |