Author:
Benveniste Albert,Bourke Timothy,Caillaud Benoît,Pouzet Marc
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Symbolic Simulation of Dataflow Synchronous Programs with Timers;Lecture Notes in Electrical Engineering;2018-12-20
2. A type-based analysis of causality loops in hybrid systems modelers;Nonlinear Analysis: Hybrid Systems;2017-11
3. A Synchronous Look at the Simulink Standard Library;ACM Transactions on Embedded Computing Systems;2017-10-10
4. A formally verified compiler for Lustre;ACM SIGPLAN Notices;2017-09-14
5. A formally verified compiler for Lustre;Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation;2017-06-14