Speaker
Lukas Esterle
Talks at this conference:
| Tue, 11:00 | DSRV: Reconfigurable Stream Runtime Verification With Context Transfers Live |
| Wed, 13:30 | mstlo: Efficient Online Monitoring of Signal Temporal Logic Live |
Sponsored by:
Formal Methods Europe
