System Verification, Processes and Testing
Read publication
Category
Academic chapter/article/Conference paper
Client
- Research Council of Norway (RCN) / 280655
Language
English
Author(s)
- Tristan Perez
- Andrey Morozov
- Børge Rokseth
- Jon Arne Glomsrud
- Matthew Luckuck
- Thor Myklebust
- Tobias Valentin Rye Torben
- Xue Yang
Affiliation
- Unknown
- Norwegian University of Science and Technology
- SINTEF Digital / Software Engineering, Safety and Security
Year
2019Publisher
Norges teknisk-naturvitenskapelige universitet
Book
Proceedings of the First International Workshop on Autonomous Systems Safety
ISBN
9788269112023
Page(s)
56 - 63