Send email Copy Email Address
Placeholder
PhD Student

Noemi Passing

Email

Address

Campus E1 1
66123 Saarbrücken (Germany)

Member of Groups

Publications by Noemi Passing

Year 2021

Conference / Medium

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

Conference / Medium

NFM
LNCS13th NASA Formal Methods Symposium, NFM 2021

Year 2020

Conference / Medium

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

Conference / Medium

RV
Runtime VerificationRV 2020