STAn: analysis of data traces using an event-driven interval temporal logic

Laura Panizo, MarĂ­a-del-Mar Gallardo. STAn: analysis of data traces using an event-driven interval temporal logic. Automated Software Engineering, 30(1):3, 2023. [doi]

Abstract

Abstract is missing.