Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array
Image document

Event-Driven Temporal Logic Pattern for Control Software Requirements Specification

Vladimir Zyubin , Igor Anureev , Natalia Garanina , Sergey Staroletov , Andrei Rozov , et al.
9th International Conference on Fundamentals of Software Engineering (FSEN), May 2021, Virtual, Iran. pp.92-107, ⟨10.1007/978-3-030-89247-0_7⟩
Conference papers hal-04074526v1