Tatiana G. Churina

Publication Activity (10 Years)

Years Active: 1995-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, Dmitri M. Beloglazov, Tatiana G. Churina, Mikhail Mashukov
Using Coloured Petri Nets to Model and Verify Telecommunications Systems. CSR (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)
Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Sergey P. Mylnikov, E. V. Okunishnikova, P. A. Chubarev, Tatiana G. Churina
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets. Program. Comput. Softw. 27 (2) (2001)
Lidiya V. Gorodnyaya, V. D. Irtegov, N. N. Nepeivoda, Igor V. Pottosin, Tatiana G. Churina
All-Siberian Open Olympiad in Programming (Novosibirsk State University). Program. Comput. Softw. 27 (3) (2001)
Valery A. Nepomniaschy, Gennady I. Alekseev, Alexandre V. Bystrov, Tatiana G. Churina, Sergey P. Mylnikov, E. V. Okunishnikova
Petri Net Modelling of Estelle-specified Communication Protocols. PaCT (1995)