Safety Assurance of a High Voltage Controller for an Industrial Robotic System
dc.contributor.author | Murray, Yvonne | |
dc.contributor.author | David_Anisi, Alireza | |
dc.contributor.author | Sirevåg, Martin | |
dc.contributor.author | Ribeiro, Pedro | |
dc.date.accessioned | 2021-10-12T08:06:23Z | |
dc.date.available | 2021-10-12T08:06:23Z | |
dc.date.created | 2020-12-10T14:10:35Z | |
dc.date.issued | 2020 | |
dc.identifier.isbn | 978-3-030-63882-5 | |
dc.identifier.uri | https://hdl.handle.net/11250/2789160 | |
dc.language.iso | eng | en_US |
dc.relation.ispartof | Formal Methods: Foundations and Applications | |
dc.title | Safety Assurance of a High Voltage Controller for an Industrial Robotic System | en_US |
dc.type | Chapter | en_US |
dc.description.version | publishedVersion | |
dc.identifier.doi | 10.1007/978-3-030-63882-5_4 | |
dc.identifier.cristin | 1858327 | |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 |