Automatically Generating SystemC Code from HCSP Formal Models

Gaogao Yan, Li Jiao, Shuling Wang, Lingtai Wang, Naijun Zhan. Automatically Generating SystemC Code from HCSP Formal Models. ACM Transactions on Software Engineering Methodology, 29(1), 2020. [doi]

Abstract

Abstract is missing.