Eugene A. Chetvertakov

According to our database, Eugene A. Chetvertakov authored at least 2 papers between 2007 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

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

Valery A. Nepomniaschy, Victor S. Argirov, Dmitri M. Beloglazov, Alexandre V. Bystrov, Eugene A. Chetvertakov, Tatiana G. Churina

Program. Comput. Softw., 2008

2007

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

Proceedings of the Computer Science, 2007