STS-News

EMSOFT21

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.