Modeling and verification of the SDL-specified communication protocols using high-level Petri nets

✍ Scribed by V. A. Nepomniaschy; V. S. Argirov; D. M. Beloglazov; A. V. Bystrov; E. A. Chetvertakov; T. G. Churina

• Book ID: 110190923
• Publisher: SP MAIK Nauka/Interperiodica
• Year: 2008
• Tongue: English
• Weight: 213 KB
• Volume: 34
• Category: Article
• ISSN: 0361-7688
• DOI: 10.1134/s0361768808060042