Customer Support: +353 (0)1 857 6730

Corporate Website About Us
  • There are no items in your cart
Please enter a keyword to search
Advanced search
Home
ETSI
TR 101 034 : 1.1.1

TR 101 034 : 1.1.1

Current

Current

The latest, up-to-date edition.

METHODS FOR TESTING AND SPECIFICATION (MTS)

Available format(s)

Hardcopy , PDF

Language(s)

English

Publisher

European Telecommunications Standards Institute

Intellectual Property Rights
1 Scope
2 References
3 Definitions and abbreviations
  3.1 Definitions
  3.2 Abbreviations
4 The standard description
5 The validation model
  5.1 Starting point
  5.2 Defining the validation model
  5.3 Processes formalizing
  5.4 Simplifying and improving the validation model
6 The validation procedure
  6.1 The validation method
7 The validation results
8 Conclusions
  8.1 Lessons to learn
Annex A: ANF-CTMI informal SDL taken from ETS 300 696
Annex B: First formal model of ANF-CTMI
Annex C: The formal model of ANF-CTMI after validation
History

Describes the validation process and results. The objectives of the experiment are as follows: - to demonstrate that a validation model can be constructed for a supplementary service where the basic service is not specified in the original informal SDL; - to produce formal SDL that can be validated by automated tools but which is also understandable by readers who are not experts in SDL.

Committee
MTS
DocumentType
Standard
Pages
71
PublisherName
European Telecommunications Standards Institute
Status
Current

View more information
€43.71
Excluding VAT
EUR
CAD
CHF
CNY
DKK
EUR
GBP
HKD
IDR
INR
JPY
KRW
MXN
NOK
NZD
SEK
SGD
USD
ZAR
Hardcopy - English
PDF - English
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15
16
17
18
19
20

Access your standards online with a subscription

Features

  • Simple online access to standards, technical information and regulations.

  • Critical updates of standards and customisable alerts and notifications.

  • Multi-user online standards collection: secure, flexible and cost effective.

Get in touch with us