Event-Driven Temporal Logic Pattern for Control Software Requirements Specification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Vladimir Zyubin, Igor S. Anureev, Natalya Olegovna Garanina, Sergey Staroletov, Andrei Rozov, Tatiana Liakh. Event-Driven Temporal Logic Pattern for Control Software Requirements Specification. In Hossein Hojjat, Mieke Massink, editors, Fundamentals of Software Engineering - 9th International Conference, FSEN 2021, Virtual Event, May 19-21, 2021, Revised Selected Papers. Volume 12818 of Lecture Notes in Computer Science, pages 92-107, Springer, 2021. [doi]

This author has not been identified. Look up 'Vladimir Zyubin' in GoogleThis author has not been identified. Look up 'Igor S. Anureev' in GoogleThis author has not been identified. Look up 'Natalya Olegovna Garanina' in GoogleThis author has not been identified. Look up 'Sergey Staroletov' in GoogleThis author has not been identified. Look up 'Andrei Rozov' in GoogleThis author has not been identified. Look up 'Tatiana Liakh' in Google

runs on WebDSL