Back to All Events

8th Workshop on Design Automation for CPS and IoT (DESTION 2026)

I will be presenting our paper “Vertical Contracts for Safety Control” DESTION in CPS-IoT Week 2026 in Saint Maol, France.

Previous
April 21

Talk at Max Planck Institute for Software Systems (MPI-SWS)