A Aralex Aachen research explorer

June 01, 2016 conference-paper

Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain

IEEE Annual Computer Software and Applications Conference (COMPSAC)

DOI: 10.1109/compsac.2016.140 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 18

Leveraging Natural Language Processing for a Consistency Checking Toolchain of Automotive Requirements
2023 IEEE International Requirements Engineering Conference (RE) conference-paper Computer Science Formal Methods in Verification

18

citations

1 result

References 0