Tatiana G. Churina

According to our database, Tatiana G. Churina authored at least 6 papers between 1995 and 2008.

Collaborative distances:

• Dijkstra number of four.
• 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

Using Coloured Petri Nets to Model and Verify Telecommunications Systems.

Valery A. Nepomniaschy, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov

Proceedings of the Computer Science, 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

2001

Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets.

Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Sergey P. Mylnikov, E. V. Okunishnikova, P. A. Chubarev, Tatiana G. Churina

Program. Comput. Softw., 2001

All-Siberian Open Olympiad in Programming (Novosibirsk State University).

Lidiya V. Gorodnyaya, V. D. Irtegov, N. N. Nepeivoda, Igor V. Pottosin, Tatiana G. Churina

Program. Comput. Softw., 2001

1995

Petri Net Modelling of Estelle-specified Communication Protocols.

Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Tatiana G. Churina, Sergey P. Mylnikov, E. V. Okunishnikova

Proceedings of the Parallel Computing Technologies, 1995