Zum Inhalt springen

  3. Bondavalli, Andrea [Herausgeber:in]; Brasileiro, Francisco [Sonstige Person, Familie und Körperschaft]; Rajsbaum, Sergio [Sonstige Person, Familie und Körperschaft] ; LADC 3 2007 Morelia

    Dependable computing : third Latin-American symposium, LADC 2007, Morelia, Mexico, September 26-28, 2007 ; proceedings

    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.

    Berlin; Heidelberg [u.a.]: Springer, 2007

    Erschienen in: Lecture notes in computer science ; 4746

  5. Alpuente, María [Herausgeber:in]; Cook, Byron [Sonstige Person, Familie und Körperschaft]; Joubert, Christophe [Sonstige Person, Familie und Körperschaft] ; FMICS 14 2009 Eindhoven

    Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009 ; proceedings

    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.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5825

  6. Leue, Stefan [Herausgeber:in]; Merino, Pedro [Sonstige Person, Familie und Körperschaft] ; FMICS 12 2007 Berlin

    Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1 - 2, 2007 ; revised selected papers

    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.

    Berlin; Heidelberg [u.a.]: Springer, 2008

    Erschienen in: Lecture notes in computer science ; 4916

  7. Cofer, Darren [Herausgeber:in]; Fantechi, Alessandro [Sonstige Person, Familie und Körperschaft] ; European Research Consortium for Informatics and Mathematics Working Group on Formal Methods for Industrial Critical Systems, FMICS 13 2008 L'Aquila

    Formal methods for industrial critical systems : 13th international workshop, FMICS 2008, L'Aquila, Italy, September 15 - 16, 2008 ; revised selected papers

    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.

    Berlin; Heidelberg [u.a.]: Springer, 2009

    Erschienen in: Lecture notes in computer science ; 5596

  8. Brosch, Franz [Verfasser:in]

    Integrated Software Architecture-Based Reliability Prediction for IT Systems : Characterization and applications

    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.

    Karlsruhe: KIT Scientific Publishing, 2012

    Erschienen in: The Karlsruhe series on software design and quality ; 9

  9. Lemos, Rogério le [Verfasser:in] ; Camargo Jr., Joao Batista [Sonstige Person, Familie und Körperschaft]; Silva Weber, Taisy [Sonstige Person, Familie und Körperschaft]

    Dependable Computing : First Latin-American Symposium, LADC 2003, Sao Paulo, Brazil, October 21-24, 2003, Proceedings

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2003

    Erschienen in: Lecture notes in computer science ; 2847

  11. Bondavalli, Andrea [Sonstige Person, Familie und Körperschaft]; Brasileiro, Francisco [Sonstige Person, Familie und Körperschaft]; Rajsbaum, Sergio [Sonstige Person, Familie und Körperschaft]

    Dependable Computing : Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007. Proceedings

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2007

    Erschienen in: Lecture notes in computer science ; 4746

  12. Dal Cin, Mario [Sonstige Person, Familie und Körperschaft]; Kaâniche, Mohamed [Sonstige Person, Familie und Körperschaft]; Pataricza, András [Sonstige Person, Familie und Körperschaft]

    Dependable Computing - EDCC 2005 : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3463

  13. Andrade, Aline Maria Santos [Sonstige Person, Familie und Körperschaft]; Assis Silva, Flávio Morais de [Sonstige Person, Familie und Körperschaft]; Maziero, Carlos Alberto [Sonstige Person, Familie und Körperschaft]; Silva, João Gabriel [Sonstige Person, Familie und Körperschaft]

    Dependable Computing : Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Erschienen in: Lecture notes in computer science ; 3747

  14. Cofer, Darren [Sonstige Person, Familie und Körperschaft]; Fantechi, Alessandro [Sonstige Person, Familie und Körperschaft]

    Formal Methods for Industrial Critical Systems : 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5596

  15. Alpuente, María [Verfasser:in] ; Cook, Byron [Sonstige Person, Familie und Körperschaft]; Joubert, Christophe [Sonstige Person, Familie und Körperschaft]

    Formal Methods for Industrial Critical Systems : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2009

    Erschienen in: Lecture notes in computer science ; 5825

  16. Leue, Stefan [Sonstige Person, Familie und Körperschaft]; Merino, Pedro [Sonstige Person, Familie und Körperschaft]

    Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers

    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.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Erschienen in: Lecture notes in computer science ; 4916

  18. Veleski, Mitko [Verfasser:in] ; Kraemer, Rolf [Sonstige Person, Familie und Körperschaft]; Hübner, Michael [Sonstige Person, Familie und Körperschaft]; Krstic, Milos [Sonstige Person, Familie und Körperschaft]

    A cross-layer framework for adaptive processor-based systems regarding error resilience and power efficiency

    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.

    Cottbus: BTU Cottbus - Senftenberg, 2022

  20. Brosch, Franz [Verfasser:in] ; Reussner, R. [Akademische:r Betreuer:in]

    Integrated Software Architecture-Based Reliability Prediction for IT Systems

    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.

    Karlsruhe: KIT Scientific Publishing, 2012

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