发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

[IEEE 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) - Singapore (2017.1.12-2017.1.14)] 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) - High Assurance Code Generation for Cyber-Physical Systems

[IEEE 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) - Singapore (2017.1.12-2017.1.14)] 2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) - High Assurance Code Generation for Cyber-Physical Systems

Low, Tze Meng; Franchetti, Franz

作者Low, Tze Meng; Franchetti, Franz
文件大小219.25KB
发表时间2017
DOI10.1109/HASE.2017.28
页码104-111

← 返回【学霸图书馆】主页