Access Repository

Note: Clicking the button above will open the full text document at the original institutional repository in a new window.

Formal specification and verification of safety interlock systems: A comparative case study

Thesis (MSc (Mathematical Sciences))--University of Stellenbosch, 2007.

Saved in:

Bibliographic Details
Main Author:	Seotsanyana, Motlatsi
Other Authors:	Geldenhuys, Jaco
Format:	Thesis
Language:	English
Published:	Stellenbosch : University of Stellenbosch 2008
Subjects:	Theses > Mathematics Dissertations > Mathematics Theses > Computer science Dissertations > Computer science Software protection > Mathematical models Computer security > Case studies. Formal methods (Computer science) Mathematical Sciences Computer Science
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items: Formal specification and verification of safety interlock systems: A comparative case study