( en | de | ru )

 

Disambiguierung von "Bordis, Tabea"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verification Strategies for Feature-Oriented Software Product Lines.

, , , , und . VaMoS, Seite 12:1-12:9. ACM, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Eckehard Tabeau

Tabea Wilhelm

Tabea Willenberg

Tabea Mertz

Tabea Mußgnug

 

Weitere Publikationen von Autoren mit dem selben Namen

Teaching Correctness-by-Construction and Post-hoc Verification - The Online Experience., , , und . FMTea, Volume 13122 von Lecture Notes in Computer Science, Seite 101-116. Springer, (2021)Runtime Verification of Correct-by-Construction Driving Maneuvers., , , und . ISoLA (1), Volume 13701 von Lecture Notes in Computer Science, Seite 242-263. Springer, (2022)Correctness-by-construction for feature-oriented software product lines., , und . GPCE, Seite 22-34. ACM, (2020)Variational correctness-by-construction., , , , und . VaMoS, Seite 7:1-7:9. ACM, (2020)Partial Proofs to Optimize Deductive Verification of Feature-Oriented Software Product Lines., , , und . VaMoS, Seite 17-26. ACM, (2024)Re-CorC-ing KeY: Correct-by-Construction Software Development Based on KeY., , , , , und . The Logic of Software. A Tasting Menu of Formal Methods, Volume 13360 von Lecture Notes in Computer Science, Seite 80-104. Springer, (2022)Verification Strategies for Feature-Oriented Software Product Lines., , , , und . VaMoS, Seite 12:1-12:9. ACM, (2022)VarCorC: Developing Object-Oriented Software Product Lines Using Correctness-by-Construction., , , und . SEFM Workshops, Volume 13765 von Lecture Notes in Computer Science, Seite 156-163. Springer, (2022)