E-mail senden E-Mail Adresse kopieren
Doktorand:in

Tom Baumeister

E-Mail

Telefon

Adresse

Kaiserstraße 21
66386 St. Ingbert (Germany)

Gruppenmitglied in

Veröffentlichungen von Tom Baumeister

Jahr 2020

2020-10

Explainable Reactive Synthesis

Konferenz / Medium

ATVA
Automated Technology for Verification and AnalysisAutomated Technology for Verification and Analysis

Tags
Vertrauenswürdige Informations­verarbeitung
Autor:innen
Herunterladen Detail-Seite besuchen