System Verification, Processes and Testing
Les publikasjonen
Kategori
Vitenskapelig Kapittel/Artikkel/Konferanseartikkel
Oppdragsgiver
- Research Council of Norway (RCN) / 280655
Språk
Engelsk
Forfatter(e)
- Tristan Perez
- Andrey Morozov
- Børge Rokseth
- Jon Arne Glomsrud
- Matthew Luckuck
- Thor Myklebust
- Tobias Valentin Rye Torben
- Xue Yang
Institusjon(er)
- Ukjent
- Norges teknisk-naturvitenskapelige universitet
- SINTEF Digital / Software Engineering, Safety and Security
År
2019Forlag
Norges teknisk-naturvitenskapelige universitet
Bok
Proceedings of the First International Workshop on Autonomous Systems Safety
ISBN
9788269112023
Side(r)
56 - 63