Aktuelles
Themen
Netzwerk
Mitgliedschaft
Service
Über uns

Mitglied werden
Meine GI

Das Team hinter ihrem Design

Fachgruppe

RSS-VERIFY

Startseite
Veranstaltungen Zurzeit aktiv
Fachgruppe
Leitungsgremium Veranstaltungshistorie
Kontakt

Nächste Veranstaltungen

Nach Kategorien filtern
#GI50 Abendveranstaltung DevCamp Empfang Konferenz Symposium Veranstaltungen Vorführung Vortrag Webinar Workshop
Alle Veranstaltungen
Vergangene Veranstaltungen

19.03. - 20.03.2020

MBMV 2020: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen

Workshop

Universität Stuttgart
Stuttgart

fg-rss-verify.gi.de
Veranstaltungen

Teilen

Newsletter RSS Nach oben

GI in Sozialen Medien

Geschäftsstelle

Assoziierte Gesellschaften

Impressum Datenschutz Bildquellen Sitemap

Nicht-barrierefreie Inhalte melden Druckversion

© Gesellschaft für Informatik e.V.