Event-driven temporal logic pattern for control software requirements specification

DOI10.1007/978-3-030-89247-0_7zbMath1496.68197OpenAlexW3206124440MaRDI QIDQ2145270

Andrei Rozov, Natalia Garanina, Sergey Staroletov, Tatiana Liakh, Vladimir Zyubin, I. S. Anureev

Publication date: 17 June 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-89247-0_7

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Cites Work

• Property Specifications for Workflow Modelling
• Handbook of Model Checking
• Unnamed Item

This page was built for publication: Event-driven temporal logic pattern for control software requirements specification