Zum Inhalt springen

  1. Dang, Thao [HerausgeberIn] ; 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

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

    Erschienen in: Electronic proceedings in theoretical computer science ; 331

  3. Dang, Thao [HerausgeberIn]; Stolz, Volker [HerausgeberIn]

    Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings - [1st ed. 2022.]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Cham: Springer International Publishing, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Lecture Notes in Computer Science ; 13498

  5. Dang, Thao [VerfasserIn] ; Association for Computing Machinery, ACM Special Interest Group on Embedded Systems

    Proceedings of the 15th ACM international conference on Hybrid Systems Computation and Control

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    New York, NY: ACM, 2012

    Erschienen in: ACM Digital Library- ACM Conferences

  7. Dang, Thao [VerfasserIn]

    Kontinuierliche Selbstkalibrierung von Stereokameras

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Erscheinungsort nicht ermittelbar]: KIT Scientific Publishing, 2007

    Erschienen in: Schriftenreihe. Institut für Mess- und Regelungstechnik, Universität Karlsruhe (TH)

  9. Saidi, Selma [VerfasserIn] ; Grenoble [MitwirkendeR]; Maler, Oded [MitwirkendeR]; Dang, Thao [MitwirkendeR]

    Optimisation des transferts de données sur systèmes multiprocesseurs sur puce ; Optimizing Data Transfers for Multiprocessor Systems on Chips

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-10-24

  10. Testylier, Romain [VerfasserIn] ; Grenoble [MitwirkendeR]; Dang, Thao [MitwirkendeR]; Maler, Oded [MitwirkendeR]

    Techniques pour l'analyse formelle de systèmes dynamiques non-linéaires ; Techniques for the formal analysis of non-linear dynamical systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2012-12-07

  11. Mambakam, Akshay [VerfasserIn] ; Université Grenoble Alpes [MitwirkendeR]; Dang, Thao [MitwirkendeR]; Basset, Nicolas [MitwirkendeR]

    Formalismes temporisés paramétriques pour la spécification et la surveillance ; Parametric timed formalisms for specification and monitoring

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2023-07-07

  12. Adimoolam, Santosh Arvind [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Dang, Thao [MitwirkendeR]

    A Calculus of Complex Zonotopes for Invariance and Stability Verification of Hybrid Systems ; Un calcul des zonotopes complexes pour l'invariance et la vérification de la stabilité des systèmes hybrides

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-05-16

  13. Rocca, Alexandre [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Dang, Thao [MitwirkendeR]

    Formal methods for modelling and validation of biological models ; Méthodes formelles pour la construction et la validation de modèles biologiques

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-05-07

  14. Al Khatib, Mohammad [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Girard, Antoine [MitwirkendeR]; Dang, Thao [MitwirkendeR]

    Analyse de stabilité, ordonnancement, et synthèse des systèmes cyber-physiques ; stability verification, scheduling, and synthesis of cyber-physical systems

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2017-09-29

  15. Kekatos, Nikolaos [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Frehse, Goran [MitwirkendeR]; Dang, Thao [MitwirkendeR]

    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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2018-12-17

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

    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]

    Bücher
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    [Cham]: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 7699

  17. Dreossi, Tommaso [VerfasserIn] ; Université Grenoble Alpes (ComUE) [MitwirkendeR]; Università Ca' Foscari Venezia (Venise, Italie) [MitwirkendeR]; Dang, Thao [MitwirkendeR]

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

    Hochschulschriften
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    theses.fr, 2016-04-04

  19. Phan, Tien-Thao Cong [VerfasserIn]; Dang, Tri-Quan [VerfasserIn]; Nguyen, Luan-Thanh [VerfasserIn]

    Consumer trust in social network sites in Vietnam: PLS-SEM-ANN analysis

    Konferenzberichte
    Online ansehen
    Schließen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Ho Chi Minh City, Vietnam: Finance Publishing House, 2023