Not finding it? Sign in to also search OpenAlex live.
-
On the applicability of hybrid systems safety verification tools from the automotive perspective2023 International Journal on Software Tools for Technology Transfer book-chapter Computer Science Formal Methods in Verification Open access
Stefan Schupp, Erika Ábrahám, Md Tawhid Bin Waez, Thomas Rambow, Zeng Qiu
3citations -
MDE for Machine Learning-Enabled Software Systems: A Case Study and Comparison of MontiAnna & ML-Quadrat2022 CentAUR (University of Reading) book-chapter Computer Science Model-Driven Software Engineering Techniques Open access
Jörg Christian Kirchhof, Evgeny Kusmenko, Jonas Ritz, Bernhard Rumpe⋆, Armin Moin, Atta Badii, +2 more
3citations
9 results