Miran Hasanagic, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter W. V. Tran-Jørgensen, Julien Ouy. Code generation for distributed embedded systems with VDM-RT. Design Autom. for Emb. Sys., 23(3-4):153-177, 2019. [doi]
@article{HasanagicFLBTO19,
title = {Code generation for distributed embedded systems with VDM-RT},
author = {Miran Hasanagic and Tommaso Fabbri and Peter Gorm Larsen and Victor Bandur and Peter W. V. Tran-Jørgensen and Julien Ouy},
year = {2019},
doi = {10.1007/s10617-019-09227-0},
url = {https://doi.org/10.1007/s10617-019-09227-0},
researchr = {https://researchr.org/publication/HasanagicFLBTO19},
cites = {0},
citedby = {0},
journal = {Design Autom. for Emb. Sys.},
volume = {23},
number = {3-4},
pages = {153-177},
}