Bridging the Gap Between Requirements and Simulink Model Analysis.

Anastasia Mavridou, Hamza Bourbouh, Pierre-Loc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann

Browse the full REFSQ paper archive.