Jiaxing Zhang, Gunar Schirner. Towards closing the specification gap by integrating algorithm-level and system-level design. Design Autom. for Emb. Sys., 19(4):389-419, 2015. [doi]
@article{ZhangS15-23,
title = {Towards closing the specification gap by integrating algorithm-level and system-level design},
author = {Jiaxing Zhang and Gunar Schirner},
year = {2015},
doi = {10.1007/s10617-015-9161-1},
url = {http://dx.doi.org/10.1007/s10617-015-9161-1},
researchr = {https://researchr.org/publication/ZhangS15-23},
cites = {0},
citedby = {0},
journal = {Design Autom. for Emb. Sys.},
volume = {19},
number = {4},
pages = {389-419},
}