Author:
Evrard Hugues,Lang Frédéric
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference65 articles.
1. TIMES: a tool for schedulability analysis and code generation of real-time systems;Amnell,2004
2. Reo: a channel-based coordination model for component composition;Arbab;Math. Struct. Comput. Sci.,2004
3. Process synchronization: design and performance evaluation of distributed algorithms;Bagrodia;IEEE Trans. Softw. Eng.,1989
4. Uppaal — present and future;Behrmann,2001
5. D-Finder 2: towards efficient correctness of incremental design;Bensalem,2011
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献