STS-News

EMSOFT21

Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design

The paper "Work-in-Progress: WCET-Aware Reachability for Verified Simplex Design" by Ole L├╝bke and Sibylle Schupp has been accepted at the <link https: esweek.org emsoft _blank>EMSOFT21 conference, which will be held as virtual conference this year.