conf.researchr.org / Sibylle Schupp

Not registered as user yet

Name: Sibylle Schupp

Contributions

FormaliSE 2020PC Member in Program Committee within the FormaliSE 2020-track
FormaliSE 2019Author of Static Analysis for Worst-Case Battery Utilization within the FormaliSE 2019-track
SLE 2016Committee Member in Program Committee within the SLE-track