Zum Inhalt springen

  1. Güdemann, Matthias [VerfasserIn] ; Ortmeier, Frank [AkademischeR BetreuerIn]; Kruse, Rudolf [AkademischeR BetreuerIn]

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

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Magdeburg: Universitätsbibliothek, 2011

  2. Güdemann, Matthias [VerfasserIn] ; Ortmeier, Frank [MitwirkendeR]; Kruse, Rudolf [MitwirkendeR]

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

    Hochschulschriften
    Online ansehen
    Schließen

    Merkliste

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

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

  3. Nuñez, Manuel [HerausgeberIn]; Güdemann, Matthias [HerausgeberIn]

    Formal Methods for Industrial Critical Systems : 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

    Cham [u.a.]: Springer, 2015

    Erschienen in: Lecture notes in computer science ; 9128

  4. Nafz, Florian [VerfasserIn]; Güdemann, Matthias [VerfasserIn]; Reif, Wolfgang [VerfasserIn]; Seebach, Hella [VerfasserIn]

    Applications in organic computing

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

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

    Applications and architectures in organic computing

    Bücher
    Online ansehen
    Schließen

    Merkliste

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

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

  6. Güdemann, Matthias; Salaün, Gwen; Ouederni, Meriem

    Automated Technology for Verification and Analysis: Counterexample Guided Synthesis of Monitors for Realizability Enforcement

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2012

    Erschienen in: Automated Technology for Verification and Analysis

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

    FORMAL FAILURE MODELS

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Elsevier BV, 2007

    Erschienen in: IFAC Proceedings Volumes

  8. Güdemann, Matthias; Poizat, Pascal; Salaün, Gwen; Dumont, Alexandre

    Fundamental Approaches to Software Engineering: VerChor: A Framework for Verifying Choreographies

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer Berlin Heidelberg, 2013

    Erschienen in: Fundamental Approaches to Software Engineering

  9. 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

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer International Publishing, 2015

    Erschienen in: Formal Methods for Industrial Critical Systems

  10. 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

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Springer International Publishing, 2020

    Erschienen in: Lecture Notes in Computer Science

  11. 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

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

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

    Elsevier BV, 2002

    Erschienen in: The American Journal of Pathology