Maria Manuela M. Costa Farelo Ataide Marques
AuthID: R-000-C9K
21
TITLE: Formalisation based on understanding
AUTHORS: Maria Manuela Marques; Dag Belsnes; Malachy Murphy;
PUBLISHED: 1994, SOURCE: Proceedings of the IFIP TC6/WG6.1 6th International Conference on Formal Description Techniques-FORTE'93 in IFIP Transactions C: Communication Systems, ISSUE: C-22
AUTHORS: Maria Manuela Marques; Dag Belsnes; Malachy Murphy;
PUBLISHED: 1994, SOURCE: Proceedings of the IFIP TC6/WG6.1 6th International Conference on Formal Description Techniques-FORTE'93 in IFIP Transactions C: Communication Systems, ISSUE: C-22
INDEXED IN: 
Scopus
Scopus22
TITLE: Methods for service software design
AUTHORS: Rick Reed; Maria Manuela Marques; Wiet Bouma; John Evans;
PUBLISHED: 1992, SOURCE: 8th International Conference on Software Engineering for Telecommunication Systems and Services in IEE Conference Publication, ISSUE: 352
AUTHORS: Rick Reed; Maria Manuela Marques; Wiet Bouma; John Evans;
PUBLISHED: 1992, SOURCE: 8th International Conference on Software Engineering for Telecommunication Systems and Services in IEE Conference Publication, ISSUE: 352
INDEXED IN: Scopus
Scopus