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 -
Actionable Artificial Intelligence for the Future of Production2023 Interdisciplinary excellence accelerator series book-chapter Engineering Digital Transformation in Industry Open access
Mohamed Behery, Philipp Brauner, Hans Aoyang Zhou, Merih Seran Uysal, Владимир Самсонов, Martin Bellgardt, +34 more
5citations -
Actionable Artificial Intelligence for the Future of Production2023 Interdisciplinary excellence accelerator series book-chapter Engineering Digital Transformation in Industry Open access
Mohamed Behery, Philipp Brauner, Hans Aoyang Zhou, Merih Seran Uysal, Владимир Самсонов, Martin Bellgardt, +34 more
2citations -
Actionable Artificial Intelligence for the Future of Production2023 Interdisciplinary excellence accelerator series book-chapter Engineering Digital Transformation in Industry Open access
Mohamed Behery, Philipp Brauner, Hans Aoyang Zhou, Merih Seran Uysal, Владимир Самсонов, Martin Bellgardt, +34 more
1citations
17 results