Taking into consideration the continued erratic development of the worldwide COVID-19 pandemic and the accompanying restrictions of worldwide travelling as well as the safety and health of the DATE community, the Organising Committees decided to host DATE 2021 as a virtual conference in early February 2021. Unfortunately, the current situation does not allow a face-to-face conference in Grenoble, France.

The Organising Committees are working intensively to create a virtual conference that gives as much of a real conference atmosphere as possible.

ASD-10.1 BreachFlows: Systematic Simulation-Based Testing with Formal Requirements For CPS


Speaker: Alexandre Donze (1)  

Affiliation: (1) Decyphir, USA