Tracing Integration Analysis in Component-Based Formal Specifications

Áreas de investigación:	Sin categoría	Año:	2005
Tipo de publicación:	Artículo en conferencia
Autores:	8, 12 2
Volumen:	3535
Título del libro:	7th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS) - Lecture Notes in Computer Science
Serie:	Lecture Notes in Computer Science (LNCS)	Páginas:	147-162
Mes:	Junio
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", }