Automatic synthesis of SDL models in Use Case Methodology

Authors:

Publisher website

1 January 1999

book chapter
Published by Elsevier

p. 225-240
DOI:10.1016/b978-044450228-5/50016-3

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Formal specification and use case generation for a mobile telephony system
Computer Networks and ISDN Systems, 1998
Synthesis of communication protocols: survey and assessment
IEEE Transactions on Computers, 1991