EasyChair Smart SlideDocs/Log in
Author: Johanna Nellen

This page shows all presentations of this author published in EasyChair Smart Slide.

Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations

Formal Verification of Automotive Simulink Controller Models: Empirical Technical Challenges, Evaluation and Recommendations

Johanna Nellen, Thomas Rambow, Md Tawhid Bin Waez, Erika Abraham and Joost-Pieter Katoen

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair