Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols.

Valery A. Nepomniaschy Gennady I. Alekseev Victor S. Argirov Dmitri M. Beloglazov Alexandre V. Bystrov Eugene A. Chetvertakov Tatiana G. Churina Sergey P. Mylnikov Ruslan M. Novikov

Published in: CSR (2007)

Keyphrases