Code-generating VDM for Embedded Devices

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Victor Bandur, Peter W. V. Tran-Jørgensen, Miran Hasanagić, and Kenneth Lausdahl.

Journal title: The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering

Journal number: CS-TR- 1513-2017

Journal publisher: Newcastle University, Computing Science

Published year: 2017

Published pages: 1-15