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
Reviews
There are no reviews yet.