Author:
Poizat Pascal,Royer Jean-Claude,Salaün Gwen
Publisher
Springer Berlin Heidelberg
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Behavioural models for distributed Fractal components;annals of telecommunications - annales des télécommunications;2009-01-10
2. Specification and Verification for Grid Component-Based Applications: From Models to Tools;Formal Methods for Components and Objects;2009
3. Adaptor Synthesis for Real-Time Components;Tools and Algorithms for the Construction and Analysis of Systems