( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model checking lots of systems: efficient verification of temporal properties in software product lines.

, , , , и . ICSE (1), стр. 335-344. ACM, (2010)

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.

Pierre-Yves Vandenbussche

Pierre-Yves Chevalier

Pierre-Yves Laffont

Pierre-Yves Lucas

Yves Pierre Clocuh

 

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

Generic Semantics of Feature Diagrams Variants., , , и . FIW, стр. 58-77. IOS Press, (2005)Proving feature non-interaction with Alternating-Time Temporal Logic., , и . FIREworks, стр. 85-103. Springer, (2000)Statistical prioritization for software product line testing: an experience report., , , , , , и . Softw. Syst. Model., 16 (1): 153-171 (2017)Behavioural modelling and verification of real-time software product lines., , , и . SPLC (1), стр. 66-75. ACM, (2012)Providing command and control agility: A software product line approach., , , , , , , , , и . Expert Syst. Appl., (апреля 2023)Towards Statistical Prioritization for Software Product Lines Testing., , , , , и . CoRR, (2013)A More Expressive Softgoal Conceptualization for Quality Requirements Analysis., , и . ER, том 4215 из Lecture Notes in Computer Science, стр. 281-295. Springer, (2006)Symbolic model checking of software product lines., , , и . ICSE, стр. 321-330. ACM, (2011)Model-checking the Preservation of Temporal Properties upon Feature Integration., , и . AVoCS, том 128 из Electronic Notes in Theoretical Computer Science, стр. 311-324. Elsevier, (2004)Model-Checking Access Control Policies., , и . ISC, том 3225 из Lecture Notes in Computer Science, стр. 219-230. Springer, (2004)