dc.contributor.author | Perez, Tristan | |
dc.contributor.author | Morozov, Andrey | |
dc.contributor.author | Rokseth, Børge | |
dc.contributor.author | Glomsrud, Jon Arne | |
dc.contributor.author | Luckuck, Matthew | |
dc.contributor.author | Myklebust, Thor | |
dc.contributor.author | Torben, Tobias Valentin Rye | |
dc.contributor.author | Yang, Xue | |
dc.date.accessioned | 2019-10-04T11:14:41Z | |
dc.date.available | 2019-10-04T11:14:41Z | |
dc.date.created | 2019-09-30T14:53:21Z | |
dc.date.issued | 2019 | |
dc.identifier.isbn | 9788269112023 | |
dc.identifier.uri | http://hdl.handle.net/11250/2620306 | |
dc.language.iso | eng | nb_NO |
dc.publisher | NTNU | nb_NO |
dc.relation.ispartof | Proceedings of the First International Workshop on Autonomous Systems Safety | |
dc.relation.uri | https://www.ntnu.edu/web/imt/unlock | |
dc.title | System Verification, Processes and Testing | nb_NO |
dc.type | Chapter | nb_NO |
dc.description.version | publishedVersion | nb_NO |
dc.source.pagenumber | 56-63 | nb_NO |
dc.identifier.cristin | 1731666 | |
dc.relation.project | Norges forskningsråd: 280655 | nb_NO |
cristin.unitcode | 194,64,20,0 | |
cristin.unitcode | 194,63,35,0 | |
cristin.unitname | Institutt for marin teknikk | |
cristin.unitname | Institutt for elektroniske systemer | |
cristin.ispublished | true | |
cristin.fulltext | original | |