Exploring LLMs for Verifying Technical System Specifications Against Requirements

Documenti analoghi

• A Formal Model for Artificial Intelligence Applications in Automation Systems
  di: Schieseck, Marvin, et al.
  Pubblicazione: (2024)
• A SysML Profile for the Standardized Description of Processes during System Development
  di: Beers, Lasse, et al.
  Pubblicazione: (2024)
• Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
  di: Schubert, Richard, et al.
  Pubblicazione: (2026)
• Systematic Comparison of Software Agents and Digital Twins: Differences, Similarities, and Synergies in Industrial Production
  di: Reinpold, Lasse Matthias, et al.
  Pubblicazione: (2023)
• Nutzung von Massespeichern zur Flexibilisierung des Energieverbrauchs: Kosteneffizienter Anlagenbetrieb durch Anpassung an Marktpreise
  di: Wagner, Lukas Peter, et al.
  Pubblicazione: (2024)