( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Justifying Goal Models.

, , и . RE, стр. 116-125. IEEE Computer Society, (2006)

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

 

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

From Live Sequence Charts to State Machines and Back: A Guided Tour., , и . IEEE Trans. Software Eng., 31 (12): 999-1014 (2005)Towards an incremental automata-based approach for software product-line model checking., , , и . SPLC (2), стр. 74-81. ACM, (2012)Achieving, Satisficing, and Excelling., , и . ER Workshops, том 4802 из Lecture Notes in Computer Science, стр. 286-295. Springer, (2007)Model checking lots of systems: efficient verification of temporal properties in software product lines., , , , и . ICSE (1), стр. 335-344. ACM, (2010)ProVeLines: a product line of verifiers for software product lines., , , , и . SPLC Workshops, стр. 141-146. ACM, (2013)Towards Multi-view Feature-Based Configuration., , , и . REFSQ, том 6182 из Lecture Notes in Computer Science, стр. 106-112. Springer, (2010)Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time., и . TACAS, том 1217 из Lecture Notes in Computer Science, стр. 165-182. Springer, (1997)Memory Event Clocks., , и . FORMATS, том 6246 из Lecture Notes in Computer Science, стр. 198-212. Springer, (2010)Formal Models of Agents: An Introduction., и . ModelAge Workshop, том 1760 из Lecture Notes in Computer Science, стр. 1-7. Springer, (1997)Model Co-evolution and Consistency Management (MCCM'08)., , , и . MoDELS (Workshops), том 5421 из Lecture Notes in Computer Science, стр. 120-123. Springer, (2008)