Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets (Q3510862)

From MaRDI portal
Revision as of 12:07, 28 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets
scientific article

    Statements

    Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets (English)
    0 references
    0 references
    0 references
    3 July 2008
    0 references
    Session Initiation Protocol
    0 references
    Coloured Petri Nets
    0 references
    protocol verification
    0 references

    Identifiers