| RUS ENG |
| Full version |
|
|
|
| JOURNALS // Modelirovanie i Analiz Informatsionnykh Sistem // Archive |
|
2024, Volume 31, Number 1
|
| Theory of software | |||
|
Requirement patterns in deductive verification of poST programs I. M. Chernenko, I. S. Anureev, N. O. Garanina |
6 | |
|
|
Model checking programs in process-oriented IEC 61131-3 Structured Text N. O. Garanina, S. M. Staroletov, V. E. Zyubin, I. S. Anureev |
32 | |
| Theory of computing | |||
|
|
On the application of the calculus of positively constructed formulas for the study of controlled discrete-event systems A. V. Davydov, A. A. Larionov, N. V. Nagul |
54 | |
| Theory of data | |||
|
|
Minimal coverage of generalized typed inclusion dependencies in databases S. V. Zykin |
78 | |
| Artificial intelligence | |||
|
|
Application of deep neural networks for automatic irony detection in Russian texts M. A. Kosterin, I. V. Paramonov |
90 | |
| Discrete mathematics in relation to computer science | |||
|
|
NP-completeness of the Eulerian walk problem for a multiple graph A. V. Smirnov |
102 | |