Til hovedinnhold

System Verification, Processes and Testing

System Verification, Processes and Testing

Kategori
Del av bok/rapport
Oppdragsgiver
  • Norges forskningsråd / 280655
Språk
Engelsk
Forfatter(e)
  • Perez Tristan
  • Morozov Andrey
  • Rokseth Børge
  • Glomsrud Jon Arne
  • Luckuck Matthew
  • Myklebust Thor
  • Torben Tobias Valentin Rye
  • Yang Xue
Institusjon(er)
  • Norges teknisk-naturvitenskapelige universitet
  • SINTEF Digital / Software Engineering, Safety and Security
  • Norges teknisk-naturvitenskapelige universitet
År
2019
Forlag
Norges teknisk-naturvitenskapelige universitet
Bok
Proceedings of the First International Workshop on Autonomous Systems Safety
ISBN
9788269112023
Side(r)
56 - 63