Return to search

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

Thesis (MSc)--University of Stellenbosch, 2007. / Bibliography. Also available via the Internet.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/272690307
Date January 2007
CreatorsSeotsanyana, Motlatsi.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceLink to the online version

Page generated in 0.0016 seconds