Author:
Dormoy Julien,Kouchnarenko Olga,Lanoix Arnaud
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Aguilar Cornejo, M., Garavel, H., Mateescu, R., De Palma, N.: Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. Research Report RR-4222, INRIA (2001)
2. Aguirre, N., Maibaum, T.: A temporal logic approach to the specification of reconfigurable component-based systems. Automated Software Engineering (2002)
3. Aldric, J.: Using types to enforce architectural structure. In: WICSA 2008, pp. 23–34 (February 2008)
4. Lecture Notes in Computer Science;P. Baldan,2007
5. Lecture Notes in Computer Science;H. Barringer,2007
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献