Ануреев Игорь Сергеевич

Доклады и лекции в базе данных Math-Net.Ru

1. Логика распознавания последовательностей состояний SSRL (State Sequences Recognition Logic) и примеры её применения для формализации темпоральных требований к управляющим программ
   И. С. Ануреев
   Российский гибридный семинар STEP-2023 по фундаментальным вопросам программной инженерии теории и экспериментальному программированию
   14 февраля 2024 г. 19:00