. Bandur, V., Tran-Jørgensen, P., Hasanagic, M., & Lausdahl, K. Code-generating VDM for Embedded Devices. 9, 2017. This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.
bibtex   
@inbook{6851497d91eb443899d5bc7b960b9d9c,
title = "Code-generating VDM for Embedded Devices",
author = "Victor Bandur and Tran-Jørgensen, {Peter Würtz Vinther} and Miran Hasanagic and Lausdahl, Kenneth",
note = "This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.",
year = "2017",
month = "9",
booktitle = "THE 15TH OVERTURE WORKSHOP",
}
Downloads: 0