Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Formal Verification of AI-based Code Generation in Model-Driven Development

Aktivität: Vortrag oder Präsentation › Eingeladener Vortrag › Science-to-science

Zeitraum04 Nov. 2025
EreignistitelAISOLA 2025 - Bridging the Gap Between AI and Reality, International Conference: Track on AI Assisted Programming
VeranstaltungstypKonferenz
OrtRhodes, GriechenlandAuf Karte anzeigen
BekanntheitsgradInternational

UN SDGs

Diese Aktivität trägt zu den folgenden UN-Nachhaltigkeitszielen (SDGs) bei

  1. SDG 9 – Industrie, Innovation und Infrastruktur
    SDG 9 – Industrie, Innovation und Infrastruktur

Wissenschaftszweige

  • 102031 Theoretische Informatik
  • 603109 Logik
  • 102011 Formale Sprachen
  • 102022 Softwareentwicklung
  • 102001 Artificial Intelligence
  • 202006 Computer Hardware
  • 102 Informatik

JKU-Schwerpunkte

  • Sustainable Development: Responsible Technologies and Management

Verbundene Inhalte