Vis enkel innførsel

dc.contributor.authorPerez, Tristan
dc.contributor.authorMorozov, Andrey
dc.contributor.authorRokseth, Børge
dc.contributor.authorGlomsrud, Jon Arne
dc.contributor.authorLuckuck, Matthew
dc.contributor.authorMyklebust, Thor
dc.contributor.authorTorben, Tobias Valentin Rye
dc.contributor.authorYang, Xue
dc.date.accessioned2019-10-04T11:14:41Z
dc.date.available2019-10-04T11:14:41Z
dc.date.created2019-09-30T14:53:21Z
dc.date.issued2019
dc.identifier.isbn9788269112023
dc.identifier.urihttp://hdl.handle.net/11250/2620306
dc.language.isoengnb_NO
dc.publisherNTNUnb_NO
dc.relation.ispartofProceedings of the First International Workshop on Autonomous Systems Safety
dc.relation.urihttps://www.ntnu.edu/web/imt/unlock
dc.titleSystem Verification, Processes and Testingnb_NO
dc.typeChapternb_NO
dc.description.versionpublishedVersionnb_NO
dc.source.pagenumber56-63nb_NO
dc.identifier.cristin1731666
dc.relation.projectNorges forskningsråd: 280655nb_NO
cristin.unitcode194,64,20,0
cristin.unitcode194,63,35,0
cristin.unitnameInstitutt for marin teknikk
cristin.unitnameInstitutt for elektroniske systemer
cristin.ispublishedtrue
cristin.fulltextoriginal


Tilhørende fil(er)

Thumbnail

Denne innførselen finnes i følgende samling(er)

Vis enkel innførsel