Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

Formalizing Specifications with Foundational Models and Consistency Checkers

    Aktivität: Vortrag ohne Tagungsband / Vorlesung › Präsentation auf einer wissenschaftlichen Konferenz / Workshop

    Zeitraum28 Okt. 2025
    EreignistitelAISoLA 2025: Bridging the Gap Between AI and Reality
    VeranstaltungstypKonferenz
    OrtRhodes, GriechenlandAuf Karte anzeigen
    BekanntheitsgradInternational

    Research Field

    • Dependable Systems Engineering