vix.ing · top · new · best · stats · spec

Wagner, Lukas P.

  1. Exploring LLMs for Verifying Technical System Specifications Against Requirements
    2024/11/18 by Reinpold, Lasse M., Schieseck, Marvin, Wagner, Lukas P. +2 · 5 citations
    #FOS: Computer and information sciences #FOS: Electrical engineering #Software Engineering (cs.SE) #Systems and Control (eess.SY) #electronic engineering #information engineering