( en | de | ru )

 

Disambiguierung von "Schaefer, Ina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Specification Logic for Programs in the Probabilistic Guarded Command Language.

, , , und . ICTAC, Volume 13572 von Lecture Notes in Computer Science, Seite 369-387. Springer, (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.

Ina Schaefer

Mohan Mohadeo Inamdar

Michael Inacker

Jason Inan

Kemal Inat

 

Weitere Publikationen von Autoren mit dem selben Namen

Product sampling for product lines: the scalability challenge., , , , , und . SPLC (A), Seite 14:1-14:6. ACM, (2019)On language levels for feature modeling notations., , und . SPLC (B), Seite 83:1-83:4. ACM, (2019)Oil palm and rubber expansion facilitates earthworm invasion in Indonesia, , , , , und . Biological Invasions, 23 (9): 2783–2795 (April 2021)Refactoring Delta-Oriented Software Product Lines., und . Software Engineering & Management, Volume P-239 von LNI, Seite 82. GI, (2015)Analysis Strategies for Software Product Lines: A Classification and Survey., , , , und . Software Engineering & Management, Volume P-239 von LNI, Seite 57-58. GI, (2015)Experience Report on Formally Verifying Parts of OpenJDK's API with KeY., , , und . F-IDE@FLoC, Volume 284 von EPTCS, Seite 53-70. (2018)Software Reuse: From Cloned Variants to Managed Software Product Lines., , und . Automotive Systems and Software Engineering, Springer, (2019)Evolution of software in automated production systems: challenges and research directions., , , und . Software Engineering, Volume P-252 von LNI, Seite 107-108. GI, (2016)Automated Integration of Heteregeneous Architecture Information into a Unified Model., , , und . ECSA, Volume 14212 von Lecture Notes in Computer Science, Seite 83-99. Springer, (2023)A Query Language for Software Architecture Information., , , und . ECSA, Volume 14212 von Lecture Notes in Computer Science, Seite 337-345. Springer, (2023)