|
|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2024 |
| 1. |
М. В. Нейзов, Е. В. Кузьмин, “Применение TLA+/TLC для моделирования и верификации криптографических протоколов”, Модел. и анализ информ. систем, 31:4 (2024), 446–473  |
| 2. |
М. В. Нейзов, Е. В. Кузьмин, “LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью”, Модел. и анализ информ. систем, 31:3 (2024), 240–279 |
| 3. |
М. В. Нейзов, Е. В. Кузьмин, “Верификация декларативной LTL-спецификации поведения управляющих программ”, Модел. и анализ информ. систем, 31:2 (2024), 120–141 |
1
|
|
2023 |
| 4. |
М. В. Нейзов, Е. В. Кузьмин, “LTL-спецификация для разработки и верификации управляющих программ”, Модел. и анализ информ. систем, 30:4 (2023), 308–339 |
2
|
|
