To main content

System Verification, Processes and Testing

System Verification, Processes and Testing

Category
Part of a book/report
Client
  • Norges forskningsråd / 280655
Language
English
Author(s)
  • Perez Tristan
  • Morozov Andrey
  • Rokseth Børge
  • Glomsrud Jon Arne
  • Luckuck Matthew
  • Myklebust Thor
  • Torben Tobias Valentin Rye
  • Yang Xue
Affiliation
  • Norwegian University of Science and Technology
  • SINTEF Digital / Software Engineering, Safety and Security
  • Norwegian University of Science and Technology
Year
2019
Publisher
Norges teknisk-naturvitenskapelige universitet
Book
Proceedings of the First International Workshop on Autonomous Systems Safety
ISBN
9788269112023
Page(s)
56 - 63