ETSI TR 101 034

Methods for Testing and Specification (MTS); Reports on experiments in validation methodology; PISN Cordless Terminal Mobility Incoming Call Additional Network Feature (ANF-CTMI) Edition: 1.1.1
European Telecommunications Standards Institute / 01-May-1997 / 71 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 2 - QSIG-CTM experiment