Towards closing the specification gap by integrating algorithm-level and system-level design

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]

Abstract

Abstract is missing.