( en | de | ru )

 

Disambiguierung von "Schobbens, Pierre-Yves"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
COMORP: Rapid prototyping for mathematical database cost models development.

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

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Pierre-Yves Vandenbussche

Pierre-Yves Chevalier

Pierre-Yves Laffont

Pierre-Yves Lucas

Yves Pierre Clocuh

 

Weitere Publikationen von Autoren mit dem selben Namen

Model checking lots of systems: efficient verification of temporal properties in software product lines., , , , und . ICSE (1), Seite 335-344. ACM, (2010)ProVeLines: a product line of verifiers for software product lines., , , , und . SPLC Workshops, Seite 141-146. ACM, (2013)The Logic of Event Clocks - Decidability, Complexity and Expressiveness., und . Journal of Automata, Languages and Combinatorics, 4 (3): 247-282 (1999)Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time., und . TACAS, Volume 1217 von Lecture Notes in Computer Science, Seite 165-182. Springer, (1997)Memory Event Clocks., , und . FORMATS, Volume 6246 von Lecture Notes in Computer Science, Seite 198-212. Springer, (2010)Towards Multi-view Feature-Based Configuration., , , und . REFSQ, Volume 6182 von Lecture Notes in Computer Science, Seite 106-112. Springer, (2010)Formal Models of Agents: An Introduction., und . ModelAge Workshop, Volume 1760 von Lecture Notes in Computer Science, Seite 1-7. Springer, (1997)Towards an incremental automata-based approach for software product-line model checking., , , und . SPLC (2), Seite 74-81. ACM, (2012)Achieving, Satisficing, and Excelling., , und . ER Workshops, Volume 4802 von Lecture Notes in Computer Science, Seite 286-295. Springer, (2007)From Live Sequence Charts to State Machines and Back: A Guided Tour., , und . IEEE Trans. Software Eng., 31 (12): 999-1014 (2005)