Tracing Integration Analysis in Component-Based Formal Specifications
Áreas de investigación: |
|
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: |
|||||||