Tracing integration analysis in component-based formal specifications

Conference Object

Abstract: The correctness of a component-based specification is not guaranteed by the correctness of its compo

Palabras claves:

Autores:

Barragáns-Martínez B., GarcÍa-Duque J., José Pazos-Arias, Martín López-Nores, Ramos-Cabrer M., Redondo R.P.D., Solla A.G., Vilas F.

Fuentes:

scopus