| |
| Issue |
Title |
| |
| Vol 31, No 3 (2024) |
LTL-specification for development and verification of logical control programs in feedback systems |
Abstract
PDF (Rus)
|
|
Maxim V. Neyzov, Egor V. Kuzmin |
| |
| Vol 31, No 2 (2024) |
Verification of declarative LTL-specification of control programs behavior |
Abstract
PDF (Rus)
|
|
Maxim V. Neyzov, Egor V. Kuzmin |
| |
| Vol 31, No 1 (2024) |
Requirement patterns in deductive verification of poST Programs |
Abstract
PDF (Rus)
|
|
Ivan M. Chernenko, Igor S. Anureev, Natalia O. Garanina |
| |
| Vol 31, No 1 (2024) |
Model checking programs in process-oriented IEC 61131-3 Structured Text |
Abstract
PDF (Rus)
|
|
Natalia O. Garanina, Sergey M. Staroletov, Vladimir E. Zyubin, Igor S. Anureev |
| |
| Vol 30, No 4 (2023) |
LTL-specification for development and verification of control programs |
Abstract
PDF (Rus)
|
|
Maxim V. Neyzov, Egor V. Kuzmin |
| |
| 1 - 5 of 5 Items |
|
