Speaker
Sergio Mover
Talks at this conference:
| Tue, 14:30 | Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic Live |
Sponsored by:
Formal Methods Europe
Speaker
| Tue, 14:30 | Monitoring Diameters of Causal Communication Graph with Spatio-Temporal Logic Live |