( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification for Reliable Product Lines.

, , , , , и . CoRR, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Lothar Heymans

Ulrike Heymans

Dieter Heymans

Gisela Heymans

Jens -O Heymans

 

Другие публикации лиц с тем же именем

Generic Semantics of Feature Diagrams Variants., , , и . FIW, стр. 58-77. IOS Press, (2005)Comparing Goal Modelling Languages: An Experiment, и . International Conference on Requirements Engineering: Foundation for Software Quality, LNCS 4542, стр. 18 – 32. Trondheim, (июня 2007)Symbolic model checking of software product lines., , , и . ICSE, стр. 321-330. ACM, (2011)Engineering configurators for the retail industry: experience report and challenges ahead., и . SAC, стр. 2050-2057. ACM, (2018)Model Checking Adaptive Software with Featured Transition Systems., , , , и . Assurances for Self-Adaptive Systems, том 7740 из Lecture Notes in Computer Science, Springer, (2013)An interactive multi-perspective toolset for non-linear product configuration processes., , и . SPLC Workshops, стр. 50. ACM, (2011)Deriving configuration interfaces from feature models: a vision paper., , и . VaMoS, стр. 37-44. ACM, (2012)Evaluating a Textual Feature Modelling Language: Four Industrial Case Studies., , , , и . SLE, том 6563 из Lecture Notes in Computer Science, стр. 337-356. Springer, (2010)Report working conference on requirements engineering: foundation for software quality (REFSQ'08)., , и . ACM SIGSOFT Softw. Eng. Notes, (2008)Behavioural modelling and verification of real-time software product lines., , , и . SPLC (1), стр. 66-75. ACM, (2012)