Author:
Dumitrescu E.,Girault A.,Marchand H.,Rutten E.
Reference16 articles.
1. K. Altisen, A. Clodic, F. Maraninchi, and E. Rutten. Using controller-synthesis techniques to build property-enforcing layers. In European Symposium on Programming, ESOP'03, Springer LNCS 2618, Warsaw, Poland, April 2003.
2. M. Baleani, A. Ferrari, L. Mangeruca, M. Peri, S. Pezzini, and A. Sangiovanni-Vincentelli. Fault-tolerant platforms for automotive safety-critical applications. In Int. Conf. on Compilers, Architectures and Synthesis for Embedded Systems, CASES'03, San Jose, USA, November 2003. ACM.
3. Dynamic programming;Bellman,1957
4. Low-power CMOS digital design;Chandrakasan;IEEE Journal of Solid-State Circuits,1992
5. A domain-specific language for multi-task systems, applying discrete controller synthesis;Delaval;Journal on Embedded Systems (special issue on Synchronous Paradigm in Embedded Systems),2007
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献