To main content

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

2019

Publisher

Norges teknisk-naturvitenskapelige universitet

Book

Proceedings of the First International Workshop on Autonomous Systems Safety

ISBN

9788269112023

Page(s)

56 - 63

View this publication at Cristin