ETSI TR 101 051

Methods for Testing and Specification (MTS); Report of the CATG applications Edition: 1.1.1
European Telecommunications Standards Institute / 01-Feb-1999 / 18 pages

More details

More info

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