( en | de | ru )

 

Disambiguierung von "Heymans, Patrick"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking.

, , , , , und . IEEE Trans. Software Eng., 39 (8): 1069-1089 (2013)

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.

Lothar Heymans

Ulrike Heymans

Dieter Heymans

Gisela Heymans

Jens -O Heymans

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal methods for the masses.. SPLC (1), Seite 4. ACM, (2012)Next-generation model-based variability management: languages and tools., , und . SPLC (2), Seite 276-277. ACM, (2012)Behavioural modelling and verification of real-time software product lines., , , und . SPLC (1), Seite 66-75. ACM, (2012)Using the event calculus to reason about problem diagrams., , , , und . IWAAPF@ICSE, Seite 74-77. ACM, (2008)Variability Modeling Challenges from the Trenches of an Open Source Product Line Re-engineering Project., , und . SPLC, Seite 55-64. IEEE Computer Society, (2008)Making It all Up: Getting in on the Act to Improvise Creative Requirements., , und . RE, Seite 375-376. IEEE Computer Society, (2010)Engineering configurators for the retail industry: experience report and challenges ahead., und . SAC, Seite 2050-2057. ACM, (2018)Statistical prioritization for software product line testing: an experience report., , , , , , und . Softw. Syst. Model., 16 (1): 153-171 (2017)Report working conference on requirements engineering: foundation for software quality (REFSQ'08)., , und . ACM SIGSOFT Softw. Eng. Notes, (2008)An interactive multi-perspective toolset for non-linear product configuration processes., , und . SPLC Workshops, Seite 50. ACM, (2011)