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
Place
Trondheim
Publisher
Norwegian University of Science and Technology
Book
Proceedings of the First International Workshop on Autonomous Systems Safety
ISBN
9788269112023
Page(s)
56 - 63