Runtime Verification 2026

Speaker

Mirgita Frasheri

Talks at this conference:
 Tue, 11:00 DSRV: Reconfigurable Stream Runtime Verification With Context Transfers ! Live

 Overview

Sponsored by:

Formal Methods Europe