Automated Creation of Safety Cases for Highly Configurable Systems

Författare
Damir Nešić
(Damir Nešić.)
Genre
theses
Språk
Engelska
Förlag År Ort Om boken ISBN
KTH Royal Institute of Technology 2020 Sverige, Stockholm 40 sidor illustrationer 978-91-7873-707-9
KTH Royal Institute of Technology 2020 Sverige 269