Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design
Ole Lübke presents the paper "Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design" at the <link https: esweek.org emsoft _blank>EMSOFT21 conference, which will be held as virtual conference this year.
