( en | de | ru )

 

Disambiguierung von "Boulanger, Frédéric"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A DSL for Explicit Semantic Adaptation.

, , , , , und . MPM@MoDELS, Volume 1112 von CEUR Workshop Proceedings, Seite 47-56. CEUR-WS.org, (2013)

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.

Eugen Boulanger

Frédéric Ruckert

Frédéric Roux

Frédéric Robin

Frédéric Leroux

 

Weitere Publikationen von Autoren mit dem selben Namen

Approach for Domain-Polymorph Components Design., , und . IRI, Seite 145-150. IEEE Systems, Man, and Cybernetics Society, (2004)Report on the First Workshop On the Globalization of Modeling Languages., , , , , , , , und . CoRR, (2014)Modular Development of Control and Computational Modules Using Reactive Objects., und . ECOOP Workshops, Volume 1543 von Lecture Notes in Computer Science, Seite 515-518. Springer, (1998)ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling., und . MoDELS (Workshops), Volume 5002 von Lecture Notes in Computer Science, Seite 247-258. Springer, (2007)An Executable Model Driven Framework for Enterprise Architecture Application to the Smart Grids Context., , , und . HICSS, Seite 4546-4555. IEEE Computer Society, (2016)An Architecture Description Language for Verification in Component-Based Software., , , und . COMPSAC, Seite 365-368. IEEE Computer Society, (2008)Formal verification of automotive embedded software., , und . FormaliSE@ICSE, Seite 84-87. ACM, (2018)Qualitative Simulation of Hybrid Systems with an Application to SysML Models., , und . MODELSWARD, Seite 279-286. SciTePress, (2018)Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking., , und . NFM, Volume 12229 von Lecture Notes in Computer Science, Seite 187-203. Springer, (2020)The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems., , , und . MODELSWARD (Revised Selected Papers), Volume 1361 von Communications in Computer and Information Science, Seite 3-25. Springer, (2020)