SCTL-MUS: A Formal Methodology for Software Development of Distributed Systems. A Case Study

Áreas de investigación:	Sin categoría	Año:	2001
Tipo de publicación:	Artículo
Autores:	2, 12
Journal:	Formal Aspects of Computing	Volumen:	13
Páginas:	50-91
BibTex:
@article{PG01, author = "2,12", journal = "Formal Aspects of Computing", pages = "50--91", title = "{SCTL}-{MUS}: {A} {F}ormal {M}ethodology for {S}oftware {D}evelopment of {D}istributed {S}ystems. {A} {C}ase {S}tudy", volume = "13", year = "2001", }