Cited By
View all- Yan GJiao LWang SWang LZhan N(2020)Automatically Generating SystemC Code from HCSP Formal ModelsACM Transactions on Software Engineering and Methodology10.1145/336000229:1(1-39)Online publication date: 30-Jan-2020
- Jovanov INaumann MKumaravelu KGrill WPajic MGill CSinopoli BLiu XTabuada P(2018)Platform for model-based design and testing for deep brain stimulationProceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems10.1109/ICCPS.2018.00033(263-274)Online publication date: 11-Apr-2018
- Yan GJiao LWang SZhan N(2017)Synthesizing SystemC Code from Delay Hybrid CSPProgramming Languages and Systems10.1007/978-3-319-71237-6_2(21-41)Online publication date: 19-Nov-2017
- Show More Cited By