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
Permanent lenke
http://hdl.handle.net/11250/2639825Utgivelsesdato
2019Metadata
Vis full innførselSamlinger
- Publikasjoner fra CRIStin - SINTEF AS [5661]
- SINTEF Digital [2395]