Verification of Requirements in Simulink Design Verifier and UPPAAL - an Industrial Case Study

Författare
Jonas Westman
Språk
Engelska
Förlag År Ort Om boken ISBN
KTH Royal Institute of Technology 2016 Sverige 2