Seminars: I. S. Anureev, Логика распознавания последовательностей состояний SSRL (State Sequences Recognition Logic) и примеры еe применения для формализации темпоральных требований к управляющим программ

SEMINARS


Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023) February 14, 2024 19:00, Novosibirsk, A.P. Ershov Institute of Informatics Systems

Логика распознавания последовательностей состояний SSRL (State Sequences Recognition Logic) и примеры её применения для формализации темпоральных требований к управляющим программ I. S. Anureev
Website: https://youtu.be/NEgY26bY2_c