TY  - RPRT
TI  - Exploring LLMs for Verifying Technical System Specifications Against Requirements
AU  - Lasse M. Reinpold
AU  - Marvin Schieseck
AU  - Lukas P. Wagner
AU  - Felix Gehlhoff
AU  - Alexander Fay
PY  - 2024
UR  - https://arxiv.org/abs/2411.11582
ID  - 2411.11582
ER  -