RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Beloglazov, Dmitrii Mikhailovich

Statistics Math-Net.Ru
Total publications: 2
Scientific articles: 2

Number of views:
This page:69
Abstract pages:441
Full texts:139
References:57
E-mail:

http://www.mathnet.ru/eng/person72572
List of publications on Google Scholar
List of publications on ZentralBlatt

Publications in Math-Net.Ru
2013
1. I. S. Anureev, S. N. Baranov, D. M. Beloglazov, E. V. Bodin, P. D. Drobintsev, A. V. Kolchin, V. P. Kotlyarov, A. A. Letichevskii, O. A. Letychevskyi, V. A. Nepomnyashchii, I. V. Nikiforov, S. V. Potiyenko, L. V. Priima, B. V. Tyutin, “Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs”, Tr. SPIIRAN, 26 (2013),  349–383  mathnet
2011
2. D. M. Beloglazov, M. Yu. Mashukov, V. A. Nepomnyashchii, “Verification of telecommunication systems specified by communicating finite automata with the help of coloured Petri nets”, Model. Anal. Inform. Sist., 18:4 (2011),  144–156  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020