Cited By
View all- Benveniste ABourke TCaillaud BColaco JPasteur CPouzet M(2018)Building a Hybrid Systems Modeler on Synchronous Languages PrinciplesProceedings of the IEEE10.1109/JPROC.2018.2858016106:9(1568-1592)Online publication date: Sep-2018
- 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
- Bourke TBrun LDagand PLeroy XPouzet MRieg L(2017)A formally verified compiler for LustreACM SIGPLAN Notices10.1145/3140587.306235852:6(586-601)Online publication date: 14-Jun-2017
- Show More Cited By