Tracing Integration Analysis in Component-Based Formal Specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martín López Nores, José J. Pazos Arias, Jorge García Duque, Ana Belén Barragáns-Martínez, Rebeca P. Díaz Redondo, Ana Fernández Vilas, Alberto Gil-Solla, Manuel Ramos Cabrer. Tracing Integration Analysis in Component-Based Formal Specifications. In Martin Steffen, Gianluigi Zavattaro, editors, Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings. Volume 3535 of Lecture Notes in Computer Science, pages 147-162, Springer, 2005. [doi]

This author has not been identified. Look up 'Martín López Nores' in GoogleThis author has not been identified. Look up 'José J. Pazos Arias' in GoogleThis author has not been identified. Look up 'Jorge García Duque' in GoogleThis author has not been identified. Look up 'Ana Belén Barragáns-Martínez' in GoogleThis author has not been identified. Look up 'Rebeca P. Díaz Redondo' in GoogleThis author has not been identified. Look up 'Ana Fernández Vilas' in GoogleThis author has not been identified. Look up 'Alberto Gil-Solla' in GoogleThis author has not been identified. Look up 'Manuel Ramos Cabrer' in Google