1. TOWARDS THE AUTOMATION OF MODEL‐BASED DESIGN VERIFICATION. Issue 1 (6th April 2017) Authors: Schamai, Wladimir; Albarello, Nicolas; Helle, Philipp; Buffoni, Lena; Fritzson, Peter Journal: Insight Issue: Volume 20:Issue 1(2017) Page Start: 42 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Towards the Automation of Model‐Based Design Verification. Issue 1 (13th September 2016) Authors: Schamai, Wladimir; Helle, Philipp; Albarello, Nicolas; Buffoni, Lena; Fritzson, Peter Journal: INCOSE International Symposium Issue: Volume 26:Issue 1(2016) Page Start: 585 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗