Organisation:
Zeige:
Zeige 1 bis 10 von 79 Ergebnissen
Zeige 1 bis 10 von 79 Ergebnissen
Herber P; Osama M; Wijs A (2026) In: Science of Computer Programming, 248, 103384-103384. doi:10.1016/j.scico.2025.103384 Forschungsartikel (Zeitschrift) | Peer reviewed | Veröffentlicht | |
Blohm, Pauline; Fränzle, Martin; Herber, Paula; Kröger, Paul; Remke, Anne (2025) In: Margaria, Tiziana; Steffen, Bernhard (Hrsg.), Leveraging Applications of Formal Methods, Verification and Validation, 26-47. Crete: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Blohm, Pauline; Herber, Paula; Remke, Anne (2025) In: Kosmatov, Nikolai; Kovács, Laura (Hrsg.), Integrated Formal Methods. iFM 2024, 172-193. Switzerland: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Becker-Kupczok, Jonas; Herber, Paula (2025) In: A., Madeira; A., Knapp (Hrsg.), Software Engineering and Formal Methods. SEFM 2024, 107-125. Cham: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
Herber, Paula; Adelt, Julius; Tasche, Philip (2025) In: Madeira, Alexandre; Knapp, Alexander (Hrsg.), Software Engineering and Formal Methods, 3-21. Cham: . Forschungsartikel in Sammelband (Konferenz) | Peer reviewed | Veröffentlicht | |
In: (Hrsg.), , -. | Peer reviewed | |
In: (Hrsg.), , -. | Peer reviewed | |
In: . | Peer reviewed | |
In: . | Peer reviewed | |