Not finding it? Sign in to also search OpenAlex live.
-
Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements2023 IEEE International Requirements Engineering Conference (RE) conference-paper Computer Science Formal Methods in Verification
Vincent Bertram, Hendrik Kausch, Evgeny Kusmenko, Haron Nqiri, Bernhard Rumpe⋆, Constantin Venhoff
18citations
3 results