Skip to contents

  2. Omri, Fouad ben Nasr [Author] ; Omri, Safa [Other]; Reussner, Ralf [Other] Karlsruher Institut für Technologie Fakultät für Informatik

    Incremental and Compositional Probabilistic Analysis of Programs

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Karlsruhe: KIT Karlsruher Institut für Technologie, Fakultät für Informatik, 2015

    Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2015,2

  4. Omri, Fouad ben Nasr [Author]

    Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    [Erscheinungsort nicht ermittelbar]: KIT Scientific Publishing, 2018

    Published in: The Karlsruhe Series on Software Design and Quality / Ed. by Prof. Dr. Ralf Reussner

  9. Hesse, Julia [Author]; Omri, Fouad ben Nasr [Author]; Rentschler, Andreas [Author]; Schiefer, Gunther [Author]; Müller-Quade, Jörn [Author]

    Schlussbericht zum Teilvorhaben des Verbundprojektes: CLOUDwerker, Teilvorhaben: Konzepte für sichere Kollaboration und Integration : Trusted SaaS im Handwerk: flexibel - integriert - kooperativ = Final report: CLOUDwerker, part: Concepts for secure collaboration and integration

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Karlsruher Institut für Technologie, 2015-01-01

  10. Becker, Steffen [Author]; Happe, Jens [Author]; Koziolek, Heiko [Author]; Krogmann, Klaus [Author]; Kuperberg, Michael [Author]; Reussner, Ralf [Author]; Reichelt, Sebastian [Author]; Burger, Erik [Author]; Goussev, Igor [Author]; Hodzhev, Dimitar [Author]; Nasr Omri, Fouad ben [Author]

    Software-Komponentenmodelle

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Universität Karlsruhe (TH), 2007-01-01