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

Seminars

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Calendar
	Search
	Add a seminar

	RSS
	Forthcoming seminars

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

Логика распознавания последовательностей состояний SSRL (State Sequences Recognition Logic) и примеры её применения для формализации темпоральных требований к управляющим программ

I. S. Anureev

Number of views:
This page:	122

Website: https://youtu.be/NEgY26bY2_c

Registration to the website

Logotypes