ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • 1995-1999  (1)
Collection
Keywords
Publisher
Years
Year
  • 1
    Electronic Resource
    Electronic Resource
    Case Study in Protocol Validation: Validating an ATM Signalling Protocol (1998)
    Springer
    Formal aspects of computing 10 (1998), S. 483-508 
    Details
    ISSN: 1433-299X
    Keywords: Keywords: ATM signalling; SDL; Validation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract. This paper discusses validation techniques for communication protocols and analyzes the practical use of selected validation techniques in an automated manner. A case study on validating the ATM (Asynchronous Transfer Mode) Signalling Protocol as specified by ITU-T in Q.2931 is used for this analysis. Different error classes are identified and validated. An assessment of the different validation techniques in terms of effort and quality of results is given. As a result of the case study, an evaluation of the Q.2931 SDL specification completes the paper.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/s001650050029
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...