Author:
Barros Tomás,Henrio Ludovic,Madelaine Eric
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Allen, R., Garlan, D.: A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology (July 1997)
2. Arnold, A.: Finite transition systems. Semantics of communicating sytems. Prentice-Hall, Englewood Cliffs (1994)
3. Attali, I., Barros, T., Madelaine, E.: Formalisation and proofs of the chilean electronic invoices system. In: XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), Arica, Chili, pp. 14–25. IEEE Computer Society, Los Alamitos (2004)
4. Lecture Notes in Computer Science;T. Barros,2004
5. Barros, T., Ludovic, H., Madelaine, E.: Behavioural models for hierarchical components. Technical Report RR-5591, INRIA (June 2005)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献