|
|
|
Publications in Math-Net.Ru |
Citations |
|
2018 |
| 1. |
N. V. Shilov, D. A. Kondratyev, I. S. Anureev, E. V. Bodin, A. V. Promsky, “Platform-independent specification and verification of the standard mathematical square root function”, Model. Anal. Inform. Sist., 25:6 (2018), 637–666  |
2
|
|
2014 |
| 2. |
N. O. Garanina, E. V. Bodin, E. A. Sidorova, “Using SPIN for verification of multi-agent data analysis”, Model. Anal. Inform. Sist., 21:6 (2014), 31–43 |
|
2013 |
| 3. |
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 |
| 4. |
E. V. Bodin, N. O. Garanina, N. V. Shilov, “Mars robot puzzle (a multiagent approach to the Dijkstra problem)”, Model. Anal. Inform. Sist., 18:2 (2011), 113–128 |
2
|
|
| Organisations |
|
| |
|
|
Contact us: