Skip to contents

  1. Dang, Thao [Editor] ; International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT 6. 2020 Online, Open Publishing Association

    Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT : online, 31 August 2020

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Waterloo, NSW]: [Open Publishing Association], 11th January 2021

    Published in: Electronic proceedings in theoretical computer science ; 331

  2. Kekatos, Nikolaos [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Frehse, Goran [Contributor]; Dang, Thao [Contributor]

    Vérification formelle des systèmes cyber-physiques dans le processus industriel de la conception basée sur modèle ; Formal Verification of Cyber-Physical Systems in the Industrial Model-Based Design Process

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2018-12-17

  3. Maler, Oded [Editor]; Halász, Ádám [Editor]; Dang, Thao [Editor]; Piazza, Carla [Editor]

    Hybrid Systems Biology : Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers - [1st ed. 2015]

    Books
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Cham]: Springer, 2015

    Published in: Lecture notes in computer science ; 7699

  4. Dreossi, Tommaso [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Università Ca' Foscari Venezia (Venise, Italie) [Contributor]; Dang, Thao [Contributor]

    Calcul d'atteignabilité et synthèse de paramètres pour systèmes dynamiques polynomiaux ; Reachability Computation and Parameter Synthesis for Polynomial Dynamical Systems

    Thesis
    View online
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    theses.fr, 2016-04-04