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

Noemi Passing

E-Mail

Adresse

Campus E1 1
66123 Saarbrücken (Germany)

Gruppenmitglied in

Veröffentlichungen von Noemi Passing

Jahr 2021

Konferenz / Medium

ATVA
LNCS19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021)

Konferenz / Medium

NFM
LNCS13th NASA Formal Methods Symposium, NFM 2021

Jahr 2020

Konferenz / Medium

ATVA
LNCS, Volume 1230218th International Symposium on Automated Technology for Verification and Analysis, ATVA 2020

Konferenz / Medium

RV
Runtime VerificationRV 2020