arrow drop search cross

HDR Thesis Defense: Julien Deantoni "Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models"


08/07/2019   :   10h00
Conference Room, Algorithmes, Euclide B, I3S Laboratory, Sophia-Antipolis
Publication : 08/07/2019
Partager cet article :

Jury:

    Alain Girault, INRIA Grenoble Rhône-Alpes (reviewer)
    Hans Vangheluwe, University of Antwerp (reviewer)
    Reinhard Von Hanxleden, University of Kiel (reviewer)
    Frédéric Mallet, Université Cote d'Azur (examiner)
    Jean-Paul Rigault, Université Cote d'Azur (examiner)
    Benoit Combemale, Université de Toulouse Jean Jaurès (invited)

A temporary version of the document can be found here.