Vis enkel innførsel

System Verification, Processes and Testing

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.accessioned2020-02-05T12:33:28Z
dc.date.available2020-02-05T12:33:28Z
dc.date.created2019-09-30T14:53:21Z
dc.date.issued2019
dc.identifier.citationProceedings of the First International Workshop on Autonomous Systems Safetynb_NO
dc.identifier.isbn9788269112023
dc.identifier.urihttp://hdl.handle.net/11250/2639825
dc.language.isoengnb_NO
dc.publisherNorwegian University of Science and Technology Trondheimnb_NO
dc.relation.ispartofProceedings of the First International Workshop on Autonomous Systems Safety
dc.relation.ispartofseriesProceedings of the First International Workshop on Autonomous Systems Safety;
dc.relation.urihttps://www.ntnu.edu/web/imt/unlock
dc.subjectAutonomous systemsnb_NO
dc.subjectVerificationnb_NO
dc.subjectTestingnb_NO
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.unitcode7401,90,13,0
cristin.unitnameSoftware Engineering, Safety and Security
cristin.ispublishedtrue
cristin.fulltextoriginal


Tilhørende fil(er)

Thumbnail
Filnavn:
Proceedings+of+the+1st+Interna ...
Størrelse:
183.0Kb
Format:
PDF
Åpne

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

Vis enkel innførsel