![](/img/cover-not-exists.png)
TOWARDS THE AUTOMATION OF MODEL-BASED DESIGN VERIFICATION
Schamai, Wladimir, Albarello, Nicolas, Helle, Philipp, Buffoni, Lena, Fritzson, PeterVolume:
20
Language:
english
Journal:
INSIGHT
DOI:
10.1002/inst.12143
Date:
March, 2017
File:
PDF, 692 KB
english, 2017