Code generation for distributed embedded systems with VDM-RT

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]

Abstract

Abstract is missing.