Skip to contents

  1. Güdemann, Matthias [Author] ; Ortmeier, Frank [Contributor]; Kruse, Rudolf [Contributor]

    Qualitative and quantitative formal model-based safety analysis - push the safety button

    Thesis
    View online
    Close

    Bookmarks

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

    Universitätsbibl.; Otto von Guericke University Library, Magdeburg, Germany, 2011

  2. Güdemann, Matthias [Author]; Nafz, Florian [Author]; Pietzowski, Andreas [Author]; Reif, Wolfgang [Author]; Satzger, Benjamin [Author]; Seebach, Hella [Author]; Ungerer, Theo [Author]

    Applications and architectures in organic computing

    Books
    View online
    Close

    Bookmarks

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

    Augsburg University Publication Server (OPUS), 2006-10-16

  3. Ortmeier, Frank; Güdemann, Matthias; Reif, Wolfgang

    FORMAL FAILURE MODELS

    Articles
    View online
    Close

    Bookmarks

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

    Elsevier BV, 2007

    Published in: IFAC Proceedings Volumes

  4. Petit-Doche, Marielle; Breton, Nicolas; Courbis, Roméo; Fonteneau, Yoann; Güdemann, Matthias

    Formal Methods for Industrial Critical Systems: Formal Verification of Industrial Critical Software

    Articles
    View online
    Close

    Bookmarks

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

    Springer International Publishing, 2015

    Published in: Formal Methods for Industrial Critical Systems

  5. Kant, Philipp; Hammond, Kevin; Coutts, Duncan; Chapman, James; Clarke, Nicholas; Corduan, Jared; Davies, Neil; Díaz, Javier; Güdemann, Matthias; Jeltsch, Wolfgang; Szamotulski, Marcin; Vinogradova, Polina

    Lecture Notes in Computer Science: Flexible Formality Practical Experience with Agile Formal Methods

    Articles
    View online
    Close

    Bookmarks

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

    Springer International Publishing, 2020

    Published in: Lecture Notes in Computer Science

  6. Ernst, Thomas; Hergenhahn, Manfred; Kenzelmann, Marc; Cohen, Clemens D.; Bonrouhi, Mahnaz; Weninger, Annette; Klären, Ralf; Gröne, Elisabeth F.; Wiesel, Manfred; Güdemann, Christof; Küster, Jens; Schott, Winfried; Staehler, Gerd; Kretzler, Matthias; Hollstein, Monica; Gröne, Hermann-Josef

    Decrease and Gain of Gene Expression Are Equally Discriminatory Markers for Prostate Carcinoma

    Articles
    View online
    Close

    Bookmarks

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

    Elsevier BV, 2002

    Published in: The American Journal of Pathology