Cited By
View all- Alur RGiacobbe MHenzinger TLarsen KMikučionis M(2022)Continuous-Time Models for System Design and AnalysisComputing and Software Science10.1007/978-3-319-91908-9_22(452-477)Online publication date: 11-Mar-2022
- 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
- Voelter MDeursen AKolb BEberle S(2015)Using C language extensions for developing embedded software: a case studyACM SIGPLAN Notices10.1145/2858965.281427650:10(655-674)Online publication date: 23-Oct-2015
- Show More Cited By