NTNU Open: 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

View/Open

Perez (183.0Kb)

URI

http://hdl.handle.net/11250/2620306

Date

2019

Metadata

Show full item record

Collections

Institutt for elektroniske systemer [1497]
Institutt for marin teknikk [2289]
Publikasjoner fra CRIStin - NTNU [18357]

Publisher

NTNU