Speaker
Cláudio Gomes
Talks at this conference:
| Tue, 11:00 | DSRV: Reconfigurable Stream Runtime Verification With Context Transfers Live |
| Tue, 14:00 | Logical Compression: Source Coding for Distributed Temporal Logic Monitoring Live |
Sponsored by:
Formal Methods Europe
