Towards the Industrial Use of Validation Techniques and Automatic Test Generation Methods for SDL Specifications
- 1 January 1997
- book chapter
- Published by Elsevier
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Applying SaMsTaG to the B-ISDN protocol SSCOPPublished by Springer Nature ,1997