Author:
Lanoix Arnaud,Dormoy Julien,Kouchnarenko Olga
Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. The B Book - Assigning Programs to Meanings;Abrial,1996
2. Aguilar Cornejo, M., H. Garavel, R. Mateescu and N. De Palma, Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications, Research Report RR-4222, INRIA (2001).
3. A temporal logic approach to the specification of reconfigurable component-based systems;Aguirre;Automated Software Engineering,2002
4. Aldric, J., Using types to enforce architectural structure, in: In WICSAʼ08, February 2008, 2008, pp. 23–34.
5. Baldan, P., A. Corradini, B. König and A. L. Lafuente, A temporal graph logic for verification of graph transformation systems, in: WADTʼ06: Proceedings of the 18th Int. Conf. on Recent trends in algebraic development techniques (2007), pp. 1–20.
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献