A Review of Formal Descriptions of Session Initiation Protocol
暂无分享,去创建一个
[1] Vijay Gehlot,et al. Colored Petri Net model of the Session Initiation Protocol (SIP) , 2010, IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society.
[2] Lars Michael Kristensen,et al. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.
[3] Marina Bagic Babac,et al. Model-based verification of the SIP invite scenario , 2013, 2013 36th International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO).
[4] Jaegeol Yim,et al. Petri Net Based Semantic Web Service Composition , 2014, MUE 2014.
[5] Kurt Jensen. Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.