System Verification, Processes and Testing
Perez, Tristan; Morozov, Andrey; Rokseth, Børge; Glomsrud, Jon Arne; Luckuck, Matthew; Myklebust, Thor; Torben, Tobias Valentin Rye; Yang, Xue
Chapter
Published version
![Thumbnail](/ntnu-xmlui/bitstream/handle/11250/2620306/Proceedings%2bof%2bthe%2b1st%2bInternational%2bWorkshop%2bon%2bAutonomous%2bSystems%2bSafety32803.pdf.jpg?sequence=5&isAllowed=y)
Åpne
Permanent lenke
http://hdl.handle.net/11250/2620306Utgivelsesdato
2019Metadata
Vis full innførselSamlinger
- Institutt for elektroniske systemer [2332]
- Institutt for marin teknikk [3428]
- Publikasjoner fra CRIStin - NTNU [37963]