Automated approaches for formal verification of embedded systems artifacts

Författare
Predrag Filipovikj
(Predrag Filipovikj.)
Genre
theses
Språk
Engelska
Förlag År Ort Om boken ISBN
Akademin för innovation, design och teknik 2019 Sverige, Västerås xxi, 238 sidor illustrationer 978-91-7485-429-9