Cited By
View all- Baudart GBourke TPouzet M(2018)Symbolic Simulation of Dataflow Synchronous Programs with TimersLanguages, Design Methods, and Tools for Electronic System Design10.1007/978-3-030-02215-0_3(45-70)Online publication date: 20-Dec-2018
- Baudart GBourke TPouzet M(2017)Symbolic simulation of dataflow synchronous programs with timers2017 Forum on Specification and Design Languages (FDL)10.1109/FDL.2017.8303894(1-8)Online publication date: Sep-2017
- Zhu LXu QHe JZhu H(2015)A Formal Model for a Hybrid Programming LanguageUnifying Theories of Programming10.1007/978-3-319-14806-9_7(125-142)Online publication date: 6-Jan-2015
- Show More Cited By