System Verification, Processes and Testing
Autor: | Perez, Tristan, Morozov, Andrey, Rokseth, Børge, Glomsrud, Jon Arne, Luckuck, Matthew, Myklebust, Thor, Torben, Tobias Valentin Rye, Yang, Xue |
---|---|
Databáze: | NORA (Norwegian Open Research Archive) |
Externí odkaz: |