KIT - Anwendungsorientierte Formale Verifikation - Mitarbeiterin

Henriette Färber, M.Sc. Wissenschaftliche Mitarbeiterin / Doktorandin
Raum 227, Gebäude 50.34 Tel.: +49 721 608-43856 Fax: +49 721 608-44021 henriette faerberXwx3∂kit edu	KIT / Institut für Informationssicherheit und Verlässlichkeit (KASTEL) Am Fasanengarten 5 Gebäude 50.34 76131 Karlsruhe Deutschland

Henriette Färber, M.Sc.

Wissenschaftliche Mitarbeiterin / Doktorandin

Raum 227, Gebäude 50.34
Tel.: +49 721 608-43856
Fax: +49 721 608-44021
henriette faerberXwx3∂kit edu

KIT / Institut für Informationssicherheit und Verlässlichkeit (KASTEL)

Am Fasanengarten 5
Gebäude 50.34
76131 Karlsruhe
Deutschland

2025
Titel	Autor(en)	Quelle
Observable Semantics for Characterising Consistency Between Heterogeneous Models	Henriette Färber, Romain Pascual, Terru Stübinger und Mattias Ulbrich	Software Engineering and Formal Methods (SEFM 2025)