|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
1. |
N. O. Garanina, S. M. Staroletov, V. E. Zyubin, I. S. Anureev, “Model checking programs in process-oriented IEC 61131-3 Structured Text”, Model. Anal. Inform. Sist., 31:1 (2024), 32–53 |
|
2020 |
2. |
N. O. Garanina, I. S. Anureev, V. E. Zyubin, S. M. Staroletov, T. V. Liakh, A. S. Rozov, S. P. Gorlatch, “Temporal logic for programmable logic controllers”, Model. Anal. Inform. Sist., 27:4 (2020), 412–427 |
|
2019 |
3. |
N. O. Garanina, I. S. Anureev, O. I. Borovikova, V. E. Zyubin, “Methods for domain specification of verification-oriented process ontology”, Model. Anal. Inform. Sist., 26:4 (2019), 534–549 |
1
|
|
2017 |
4. |
A. S. Rozov, V. E. Zyubin, D. V. Nefedov, “Hyperprocess-Based Approach for Embedded Microcontroller Programming”, Novosibirsk State University Journal of Information Technologies, 15:4 (2017), 64–73 |
2
|
|
Organisations |
|
|