( en | de | ru )

 

Disambiguierung von "Hugues, Jérôme"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Teaching Deductive Verification Through Frama-C and SPARK for Non Computer Scientists.

, , , , und . FMTea, Volume 11758 von Lecture Notes in Computer Science, Seite 23-36. Springer, (2019)

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.

Jérôme Huppertz

Modulation inflammatorischer Prozesse mittels GPI-verankerter Chemokin-Analoga. Uni München, (2009)

Jérôme Boucher

Jérôme Clerc

Jérôme Krets

Jérôme Feret

 

Weitere Publikationen von Autoren mit dem selben Namen

Model-based design and automated validation of ARINC653 architectures., und . RSP, Seite 3-9. IEEE, (2015)TwinOps - DevOps meets model-based engineering and digital twins for the engineering of CPS., , , und . MoDELS (Companion), Seite 94:1-94:5. ACM, (2020)On the effect of clock offsets and quantization on learning-based adversarial games., , , und . Autom., (2024)From Model Driven Engineering to Verification Driven Engineering., , und . SEUS, Volume 5287 von Lecture Notes in Computer Science, Seite 381-393. Springer, (2008)Timing-Aware Resilience of Data-driven Off-policy Reinforcement Learning for Discrete-Time Systems., , , und . ACC, Seite 2782-2787. IEEE, (2023)Ada 2005 code patterns for metamodel-based code generation., , , , und . IRTAW, Seite 53-58. ACM, (2007)From MDD to Full Industrial Process: Building Distributed Real-Time Embedded Systems for the High-Integrity Domain., , und . Monterey Workshop, Volume 4888 von Lecture Notes in Computer Science, Seite 35-52. Springer, (2006)A Factory to Design and Build Tailorable and Verifiable Middleware., , , und . Monterey Workshop, Volume 4322 von Lecture Notes in Computer Science, Seite 121-142. Springer, (2005)An improved IDL compiler for optimizing CORBA applications., , und . SIGAda, Seite 21-28. ACM, (2006)A formal approach to AADL model-based software engineering., , , und . Int. J. Softw. Tools Technol. Transf., 22 (2): 219-247 (2020)