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 | 2017-07-06T13:37:06Z | |
dc.date.available | 2017-06-10 | en_US |
dc.date.issued | 2017-12 | en_US |
dc.date.submitted | 2017-06-30T09:30:57.641Z | |
dc.identifier.issn | 2168-2291 | en_US |
dc.identifier.uri | http://qmro.qmul.ac.uk/xmlui/handle/123456789/24745 | |
dc.format.extent | 834 - 846 | en_US |
dc.relation.ispartof | IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS | en_US |
dc.rights | This work is licensed under a Creative Commons Attribution 3.0 License. | |
dc.subject | Formal verification | en_US |
dc.subject | human error | en_US |
dc.subject | medical devices | en_US |
dc.subject | model checking | en_US |
dc.subject | modal action logic (MAL) | en_US |
dc.subject | performance | en_US |
dc.subject | PVS | en_US |
dc.subject | theorem proving | en_US |
dc.title | Verification of User Interface Software: The Example of Use-Related Safety Requirements and Programmable Medical Devices | en_US |
dc.type | Article | |
dc.rights.holder | © The Author(s) 2017 | |
dc.identifier.doi | 10.1109/THMS.2017.2717910 | en_US |
pubs.author-url | http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000415153100008&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=612ae0d773dcbdba3046f6df545e9f6a | en_US |
pubs.issue | 6 | en_US |
pubs.notes | Not known | en_US |
pubs.notes | Paid for Gold access but not had confirmation that it has been paid | en_US |
pubs.publication-status | Published | en_US |
pubs.volume | 47 | en_US |