( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
COMORP: Rapid prototyping for mathematical database cost models development.

, , и . J. Comput. Lang., (2022)

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

 

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

Model checking lots of systems: efficient verification of temporal properties in software product lines., , , , и . ICSE (1), стр. 335-344. ACM, (2010)Towards an incremental automata-based approach for software product-line model checking., , , и . SPLC (2), стр. 74-81. ACM, (2012)The Logic of Event Clocks - Decidability, Complexity and Expressiveness., и . Journal of Automata, Languages and Combinatorics, 4 (3): 247-282 (1999)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)ProVeLines: a product line of verifiers for software product lines., , , , и . SPLC Workshops, стр. 141-146. ACM, (2013)From Live Sequence Charts to State Machines and Back: A Guided Tour., , и . IEEE Trans. Software Eng., 31 (12): 999-1014 (2005)Achieving, Satisficing, and Excelling., , и . ER Workshops, том 4802 из Lecture Notes in Computer Science, стр. 286-295. Springer, (2007)