|
|
|
Publications in Math-Net.Ru |
Citations |
|
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  |
5
|
|
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 |
1
|
|
| Organisations |
|
|
Contact us: