System Verification, Processes and Testing

Forfatter(e)

• Tristan Perez
• Andrey Morozov
• Børge Rokseth
• Jon Arne Glomsrud
• Matthew Luckuck
• Thor Myklebust
• Tobias Valentin Rye Torben
• Xue Yang

Institusjon(er)

• SINTEF Digital / Software Engineering, Safety and Security
• Norges teknisk-naturvitenskapelige universitet

Eksterne ressurser

• https://www.ntnu.edu/documents/139785/1283738018/proceedings+of+the+1st+iwass.pdf/dadf6629-ef88-4e48-9c2a-8576c0379da8
• https://www.ntnu.edu/imt/iwass

Les fulltekst