Anastasia Mavridou, Hamza Bourbouh, Pierre-Loïc Garoche, Dimitra Giannakopoulou, Thomas Pressburger, Johann Schumann. Bridging the Gap Between Requirements and Simulink Model Analysis. In Mehrdad Sabetzadeh, Andreas Vogelsang, Sallam Abualhaija, Markus Borg, Fabiano Dalpiaz, Maya Daneva, Nelly Condori-Fernández, Xavier Franch, Davide Fucci, Vincenzo Gervasi, Eduard C. Groen, Renata S. S. Guizzardi, Andrea Herrmann, Jennifer Horkoff, Luisa Mich, Anna Perini, Angelo Susi, editors, Joint Proceedings of REFSQ-2020 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 26th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2020), Pisa, Italy, March 24, 2020. Volume 2584 of CEUR Workshop Proceedings, CEUR-WS.org, 2020. [doi]
@inproceedings{MavridouBGGPS20,
title = {Bridging the Gap Between Requirements and Simulink Model Analysis},
author = {Anastasia Mavridou and Hamza Bourbouh and Pierre-Loïc Garoche and Dimitra Giannakopoulou and Thomas Pressburger and Johann Schumann},
year = {2020},
url = {http://ceur-ws.org/Vol-2584/PT-paper9.pdf},
researchr = {https://researchr.org/publication/MavridouBGGPS20},
cites = {0},
citedby = {0},
booktitle = {Joint Proceedings of REFSQ-2020 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 26th International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2020), Pisa, Italy, March 24, 2020},
editor = {Mehrdad Sabetzadeh and Andreas Vogelsang and Sallam Abualhaija and Markus Borg and Fabiano Dalpiaz and Maya Daneva and Nelly Condori-Fernández and Xavier Franch and Davide Fucci and Vincenzo Gervasi and Eduard C. Groen and Renata S. S. Guizzardi and Andrea Herrmann and Jennifer Horkoff and Luisa Mich and Anna Perini and Angelo Susi},
volume = {2584},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}