Eugene A. Chetvertakov

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Valery A. Nepomniaschy, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets. Program. Comput. Softw. 34 (6) (2008)
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
Application of Modified Coloured Petri Nets to Modeling and Verification of SDL Specified Communication Protocols. CSR (2007)