Skip to contents

  12. Ben Said, Najah [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Bensalem, Saddek [Contributor]; Bozga, Marius [Contributor]

    Information Flow Security in Component-Based Models : From verification to Implementation ; Sécurité du flux d'information : de la vérification à l'implémentation

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2016-11-07

  14. Salaün, Lou [Author] ; Institut polytechnique de Paris [Contributor]; Coupechoux, Marceau [Contributor]; Chen, Chung Shue [Contributor]

    Resource allocation and optimization for the non-orthogonal multiple access ; Allocation des ressources et optimisation pour l’accès multiple non-orthogonal

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2020-03-12

  15. Wang, Shanshan [Author] ; Université Paris-Saclay (ComUE) [Contributor]; Di Renzo, Marco [Contributor]

    Modeling and Performance Evaluation of Spatially-correlated Cellular Networks ; Modélisation et évaluation de la performance de réseaux cellulaires à corrélation spatiale

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2019-03-14

  16. Assaf, Mounir [Author] ; Rennes 1 [Contributor]; Totel, Éric [Contributor]; Tronel, Frédéric [Contributor]

    From qualitative to quantitative program analysis : permissive enforcement of secure information flow ; Approches qualitatives et quantitatives d'analyse de programmes : mise en oeuvre permissive de flux d’information sécurisés

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2015-05-06

  19. Schubert, Svenja [Author] ; Rung, Thomas [Degree supervisor]; Löhner, Rainald [Degree supervisor] Technische Universität Hamburg, Technische Universität Hamburg Institut für Fluiddynamik und Schiffstheorie

    Analysis of coupling techniques for overset-grid finite-volume methods

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Hamburg, 2019

    Published in: Schriftenreihe Schiffbau ; 712