ETSI TR 101 051
ETSI TR 101 051
Methods for Testing and Specification (MTS); Report of the CATG applications Edition: 1.1.1European Telecommunications Standards Institute / 01-Feb-1999 / 18 pages
European Telecommunications Standards Institute / 01-Feb-1999 / 18 pages
Study the benefit of the application of different validation methods in experiments with cooperating STCs SMG 3, SPS 3 BTC. Introduction of formal modelling and validation methods to new draft specifications. The result will be used to propose a validation methodology for ETSI functional specifications based on SDL. Part 3 - Core INAP CS2 experiment
