ETSI TR 101 034

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

Edition:

1.1.1

Published:

05/01/1997

Number of Pages:

71

File Size:

1 file , 200 KB

Note:

This product is unavailable in Russia, Ukraine, Belarus