The specification and analysis of use properties of a nuclear control system
View/ Open
Accepted version
Embargoed until: 5555-01-01
Reason: Book Chapter
Embargoed until: 5555-01-01
Reason: Book Chapter
Publisher
Journal
Formal Methods in Human Computer Interaction