The specification and analysis of use properties of a nuclear control system
dc.contributor.author | Harrison, MD | en_US |
dc.contributor.author | Masci, P | en_US |
dc.contributor.author | Campos, JC | en_US |
dc.contributor.author | CURZON, P | en_US |
dc.date.accessioned | 2016-09-05T13:34:40Z | |
dc.date.submitted | 2016-08-08T16:09:42.298Z | |
dc.identifier.other | 14 | |
dc.identifier.other | 14 | |
dc.identifier.other | 14 | |
dc.identifier.other | 14 | |
dc.identifier.other | 14 | en_US |
dc.identifier.other | 14 | en_US |
dc.identifier.other | 14 | en_US |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/14963 | |
dc.description | Not published yet | |
dc.description | Not published yet | |
dc.description | Not published yet | en_US |
dc.description | Not published yet | en_US |
dc.description | Not published yet | en_US |
dc.publisher | Springer | en_US |
dc.relation.ispartof | Formal Methods in Human Computer Interaction | en_US |
dc.title | The specification and analysis of use properties of a nuclear control system | en_US |
dc.type | Book chapter | |
dc.rights.holder | © Springer International Publishing AG 2017 | |
pubs.notes | Not known | en_US |