( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Regular Real-Time Languages.

, , и . ICALP, том 1443 из Lecture Notes in Computer Science, стр. 580-591. Springer, (1998)

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

 

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

Operators and Laws for Combining Preference Relations., , и . J. Log. Comput., 12 (1): 13-53 (2002)Providing command and control agility: A software product line approach., , , , , , , , , и . Expert Syst. Appl., (апреля 2023)Generic Semantics of Feature Diagrams Variants., , , и . FIW, стр. 58-77. IOS Press, (2005)Towards Statistical Prioritization for Software Product Lines Testing., , , , , и . CoRR, (2013)Extensions of Initial Models and their Second-Order Proof Systems.. HOA, том 816 из Lecture Notes in Computer Science, стр. 326-344. Springer, (1993)Model Checking Adaptive Software with Featured Transition Systems., , , , и . Assurances for Self-Adaptive Systems, том 7740 из Lecture Notes in Computer Science, Springer, (2013)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)ArThUR: A Tool for Markov Logic Network., , , и . OTM Workshops, том 8842 из Lecture Notes in Computer Science, стр. 319-328. Springer, (2014)A More Expressive Softgoal Conceptualization for Quality Requirements Analysis., , и . ER, том 4215 из Lecture Notes in Computer Science, стр. 281-295. Springer, (2006)