Til hovedinnhold
Norsk English

System Verification, Processes and Testing

Kategori

Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Oppdragsgiver

  • Research Council of Norway (RCN) / 280655

Språk

Engelsk

Forfatter(e)

Institusjon(er)

  • Ukjent
  • Norges teknisk-naturvitenskapelige universitet
  • SINTEF Digital / Software Engineering, Safety and Security

År

2019

Forlag

Norges teknisk-naturvitenskapelige universitet

Bok

Proceedings of the First International Workshop on Autonomous Systems Safety

ISBN

9788269112023

Side(r)

56 - 63

Vis denne publikasjonen hos Cristin