The specification and analysis of use properties of a nuclear control system

View/Open
Accepted version
Embargoed until: 2100-01-01
Reason: Book Chapter
Publisher
Springer
Journal
Formal Methods in Human Computer Interaction
Metadata
Show full item record
Authors
Harrison, MD; Masci, P; Campos, JC; CURZON, P
URI
http://qmro.qmul.ac.uk/xmlui/handle/123456789/14963
Collections
Copyright statements
© Springer International Publishing AG 2017