Zum Inhalt springen

  2. Romanovsky, Alexander [HerausgeberIn]; Vardanega, Tullio [Sonstige Person, Familie und Körperschaft] ; Ada Europe, International Conference on Reliable Software Technologies 16 2011 Edinburgh

    Reliable software technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011 ; proceedings

    Bücher
    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, 2011

    Erschienen in: Lecture notes in computer science ; 6652

  3. Ezhilchelvan, Paul [HerausgeberIn]; Romanovsky, Alexander [Sonstige Person, Familie und Körperschaft] ; Workshop on Concurrency in Dependable Computing 2001 Newcastle-upon-Tyne, International Conference on Application of Concurrency to System Design 2. 2001 Newcastle-upon-Tyne, ICATPN 22 2001 Newcastle-upon-Tyne

    Concurrency in dependable computing : [Workshop on "Concurrency in Dependable Computing", Newcastle upon Tyne ; a side event of the International Conference on Application of Concurrency to System Design (IACSD) and the 22nd International Conference on Application and Theory of Petri Nets in Newcastle upon Tyne, 2001]

    Bücher
    Schließen

    Merkliste

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

    Boston, Mass. [u.a.]: Kluwer, 2002

  4. Lecomte, Thierry [HerausgeberIn]; Pinger, Ralf [HerausgeberIn]; Romanovsky, Alexander [HerausgeberIn] ; RSSRail 1. 2016 Paris

    Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : first international conference, RSSRail 2016, Paris, France, June 28-30, 2016 : proceedings

    Bücher
    Schließen

    Merkliste

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

    [Cham]; Heidelberg: $nSpringer, [2016]

    Erschienen in: Lecture notes in computer science ; 9707

  5. Guelfi, Nicolas [BearbeiterIn]; Reggio, Gianna [BearbeiterIn]; Romanovsky, Alexander [BearbeiterIn] ; FIDJI 4 2004 Luxembourg

    Scientific engineering of distributed Java applications : 4th international workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24 - 25, 2004 ; revised selected papers

    Bücher
    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, 2005

    Erschienen in: Lecture notes in computer science ; 3409

  6. Butler, Michael [HerausgeberIn]; Jones, Cliff B. [Sonstige Person, Familie und Körperschaft]; Romanovsky, Alexander [Sonstige Person, Familie und Körperschaft]; Troubitsyna, Elena [Sonstige Person, Familie und Körperschaft]

    Methods, models and tools for fault tolerance

    Bücher
    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 ; 5454

  7. Romanovsky, Alexander [VerfasserIn] ; Vardanega, Tullio [Sonstige Person, Familie und Körperschaft]

    Reliable Software Technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. 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, 2011

    Erschienen in: Lecture notes in computer science ; 6652

  8. Romanovsky, Alexander [VerfasserIn] ; Dony, Christophe [Sonstige Person, Familie und Körperschaft]; Knudsen, Jørgen Lindskov [Sonstige Person, Familie und Körperschaft]; Tripathi, Anand [Sonstige Person, Familie und Körperschaft]

    Advances in Exception Handling Techniques

    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-Verlag Berlin Heidelberg, 2001

    Erschienen in: Lecture notes in computer science ; 2022

  9. Gorbenko, Anatoliy [VerfasserIn] ; Romanovsky, Alexander [HerausgeberIn]; Kharchenko, Vyacheslav [HerausgeberIn]

    Software Engineering for Resilient Systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. 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, 2013

    Erschienen in: Lecture notes in computer science ; 8166

  10. Lemos, Rogério de [VerfasserIn] ; Gacek, Cristina [Sonstige Person, Familie und Körperschaft]; Romanovsky, Alexander [Sonstige Person, Familie und Körperschaft]

    Architecting Dependable Systems II

    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, 2004

    Erschienen in: Lecture notes in computer science ; 3069

  11. Lemos, Rogério [VerfasserIn] ; Gacek, Cristina [Sonstige Person, Familie und Körperschaft]; Romanovsky, Alexander [Sonstige Person, Familie und Körperschaft]

    Architecting Dependable Systems II

    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, 2004

    Erschienen in: Lecture notes in computer science ; 306900

  12. Romanovsky, Alexander [HerausgeberIn]; Troubitsyna, Elena A. [HerausgeberIn]

    Software Engineering for Resilient Systems : 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, 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.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10479

  13. Romanovsky, Alexander [HerausgeberIn]; Troubitsyna, Elena [HerausgeberIn]; Bitsch, Friedemann [HerausgeberIn]

    Computer Safety, Reliability, and Security : 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11–13, 2019, Proceedings - [1st ed. 2019]

    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.

    Cham: Springer, 2019

    Erschienen in: Programming and Software Engineering ; 11698- Springer eBooks ; Computer Science

  14. Collart-Dutilleul, Simon [HerausgeberIn]; Lecomte, Thierry [HerausgeberIn]; Romanovsky, Alexander [HerausgeberIn]

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, 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.

    Cham: Springer, 2019

    Erschienen in: Programming and Software Engineering ; 11495- Springer eBooks ; Computer Science

  15. Fantechi, Alessandro [HerausgeberIn]; Lecomte, Thierry [HerausgeberIn]; Romanovsky, Alexander [HerausgeberIn]

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, 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.

    Cham: Springer, 2017

    Erschienen in: Lecture notes in computer science ; 10598

  16. Lecomte, Thierry [HerausgeberIn]; Pinger, Ralf [HerausgeberIn]; Romanovsky, Alexander [HerausgeberIn]

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, 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.

    Cham: Springer, 2016

    Erschienen in: Lecture notes in computer science ; 9707

  17. Lemos, Rogério [Sonstige Person, Familie und Körperschaft]; Gacek, Cristina [Sonstige Person, Familie und Körperschaft]; Romanovsky, Alexander [Sonstige Person, Familie und Körperschaft]

    Architecting Dependable Systems IV

    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 ; 4615

  18. Gacek, Cristina [Sonstige Person, Familie und Körperschaft]; Lemos, Rogério de [Sonstige Person, Familie und Körperschaft]; Romanovsky, Alexander [Sonstige Person, Familie und Körperschaft]

    Architecting Dependable Systems III

    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 ; 3549

  19. Guelfi, Nicolas [Sonstige Person, Familie und Körperschaft]; Reggio, Gianna [Sonstige Person, Familie und Körperschaft]; Romanovsky, Alexander [Sonstige Person, Familie und Körperschaft]

    Scientific Engineering of Distributed Java Applications : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, 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, 2005

    Erschienen in: Lecture notes in computer science ; 3409

  20. Lemos, Rogério de [Sonstige Person, Familie und Körperschaft]; Gacek, Cristina [Sonstige Person, Familie und Körperschaft]; Romanovsky, Alexander [Sonstige Person, Familie und Körperschaft]

    Architecting Dependable 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.

    Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

    Erschienen in: Lecture notes in computer science ; 2677