Jump to Navigation

A Practical method to integrate abstraction into SDL and MSC based tools

TitleA Practical method to integrate abstraction into SDL and MSC based tools
Publication TypeConference Paper
Year of Publication2000
AuthorsGallardo, M-del-M., and P. Merino
Conference NameStefania Gnesi, et al (eds.). 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems: proceedings of FMICS'2000, April 3-4, 2000 in Berlin
Date Publishedoct


Main menu 2

Biblio | by Dr. Radut