|
|
|
Publications in Math-Net.Ru |
Citations |
|
2024 |
| 1. |
M. V. Neyzov, E. V. Kuzmin, “Using TLA+/TLC for modeling and verification of cryptographic protocols”, Model. Anal. Inform. Sist., 31:4 (2024), 446–473  |
| 2. |
M. V. Neyzov, E. V. Kuzmin, “LTL-specification for development and verification of logical control programs in feedback systems”, Model. Anal. Inform. Sist., 31:3 (2024), 240–279 |
| 3. |
M. V. Neyzov, E. V. Kuz'min, “Verification of declarative LTL-specification of control programs behavior”, Model. Anal. Inform. Sist., 31:2 (2024), 120–141 |
1
|
|
2023 |
| 4. |
M. V. Neyzov, E. V. Kuzmin, “Ltl-specification for development and verification of control programs”, Model. Anal. Inform. Sist., 30:4 (2023), 308–339 |
2
|
|
| Organisations |
|
|
