Author:
Cohen Albert,Duranton Marc,Eisenbeis Christine,Pagetti Claire,Plateau Florence,Pouzet Marc
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Application-Layer Connector Synthesis;Formal Methods for Eternal Networked Software Systems;2011
2. Analysis of Scheduled Latency Insensitive Systems with Periodic Clock Calculus;Journal of Electronic Testing;2010-03-27
3. N
-synchronous Kahn networks;ACM SIGPLAN Notices;2006-01-12
4. Adaptor Synthesis for Real-Time Components;Tools and Algorithms for the Construction and Analysis of Systems