| |
| Выпуск |
Название |
| |
| Том 31, № 3 (2024) |
LTL-спецификация для разработки и верификации программ логического управления в системах с обратной связью |
Аннотация
PDF (Rus)
|
|
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин |
| |
| Том 31, № 2 (2024) |
Верификация декларативной LTL-спецификации поведения управляющих программ |
Аннотация
PDF (Rus)
|
|
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин |
| |
| Том 31, № 1 (2024) |
Шаблоны требований в дедуктивной верификации poST-программ |
Аннотация
PDF (Rus)
|
|
Иван Михайлович Черненко, Игорь Сергеевич Ануреев, Наталья Олеговна Гаранина |
| |
| Том 31, № 1 (2024) |
Верификация моделей программ на процесс-ориентированном расширении языка Structured Text стандарта IEC 61131-3 |
Аннотация
PDF (Rus)
|
|
Наталья Олеговна Гаранина, Сергей Михайлович Старолетов, Владимир Евгеньевич Зюбин, Игорь Сергеевич Ануреев |
| |
| Том 30, № 4 (2023) |
LTL-спецификация для разработки и верификации управляющих программ |
Аннотация
PDF (Rus)
|
|
Максим Вячеславович Нейзов, Егор Владимирович Кузьмин |
| |
| 1 - 5 из 5 результатов |
|
