Tze-Meng Low and Franz Franchetti (Proc. IEEE International Symposium on High Assurance Systems Engineering (HASE), 2017)
High Assurance Code Generation for Cyber-Physical Systems
Bibtex

Keywords:
Coding/Decoding, High assurance, Cyber-physical systems