Tracing Integration Analysis in Component-Based Formal Specifications

Research areas:	Uncategorized	Year:	2005
Type of Publication:	In Proceedings
Authors:	8, 12 2
Volume:	3535
Book title:	7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) - Lecture Notes in Computer Science
Series:	Lecture Notes in Computer Science (LNCS)	Pages:	147-162
Month:	June
BibTex:
@conference{LPGBDFGR05, author = "8,2,12,Ana Bel{\'e}n Barrag{\'a}ns Mart{\'i}nez,3,4,5,6", booktitle = "7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) - Lecture Notes in Computer Science", month = "jun", pages = "147-162", series = "Lecture Notes in Computer Science (LNCS)", title = "{T}racing {I}ntegration {A}nalysis in {C}omponent-{B}ased {F}ormal {S}pecifications", volume = "3535", year = "2005", }