Cite
APA Citation
Schamai, W., Albarello, N., Helle, P., Buffoni, L., & Fritzson, P. (2017). tOWARDS THE AUTOMATION OF MODEL‐BASED DESIGN VERIFICATION. Insight, 20(1), 42–48. http://access.bl.uk/ark:/81055/vdc_100045410819.0x000006
This is an interim version of our Electronic Legal Deposit Catalogue-eJournals and eBooks while we continue to recover from a cyber-attack.
Schamai, W., Albarello, N., Helle, P., Buffoni, L., & Fritzson, P. (2017). tOWARDS THE AUTOMATION OF MODEL‐BASED DESIGN VERIFICATION. Insight, 20(1), 42–48. http://access.bl.uk/ark:/81055/vdc_100045410819.0x000006