Lasse Matthias Reinpold
- Exploring LLMs for Verifying Technical System Specifications Against Requirements
2024/11/18 by Lasse Matthias Reinpold, Marvin Schieseck, Reinpold, Lasse M. +7 · 9 citations
Business, Management and Accounting · Computer Science · Engineering · #Business #Business Process Modeling and Analysis #Computer science #FOS: Computer and information sciences #FOS: Electrical engineering #Risk analysis (engineering) #Safety Systems Engineering in Autonomy #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software engineering #System requirements specification #Systems and Control (eess.SY) #electronic engineering #information engineering