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](/sintef-xmlui/bitstream/handle/11250/2639825/Proceedings%2bof%2bthe%2b1st%2bInternational%2bWorkshop%2bon%2bAutonomous%2bSystems%2bSafety32803.pdf.jpg?sequence=5&isAllowed=y)
Date
2019Metadata
Show full item recordCollections
- Publikasjoner fra CRIStin - SINTEF AS [5801]
- SINTEF Digital [2501]