Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol

N. Husberg, T. Tynjälä, K. Varpaaniemi

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    1 Citation (Scopus)
    Original languageEnglish
    Title of host publicationThe 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, Aarhus, Denmark, June 2000
    EditorsM. Nielsen, D. Simpson
    Place of PublicationBerlin, Germany
    Pages244-260
    Publication statusPublished - 2000
    MoE publication typeA4 Article in a conference publication

    Keywords

    • DSS1
    • high-level Petri nets
    • ISDN
    • protocol verification
    • reachability analysis
    • SDL

    Cite this