Skip to contents

  1. Romanovsky, Alexander [Editor]; Vardanega, Tullio [Other] ; 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

    Books
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 6652

  2. Ezhilchelvan, Paul [Editor]; Romanovsky, Alexander [Other] ; 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]

    Books
    Close

    Bookmarks

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

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

  3. Lecomte, Thierry [Editor]; Pinger, Ralf [Editor]; Romanovsky, Alexander [Editor] ; 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

    Books
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 9707

  4. Guelfi, Nicolas [Adapter]; Reggio, Gianna [Adapter]; Romanovsky, Alexander [Adapter] ; 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

    Books
    Close

    Bookmarks

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

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

    Published in: Lecture notes in computer science ; 3409

  5. Romanovsky, Alexander [Author] ; Vardanega, Tullio [Other]

    Reliable Software Technologies - Ada-Europe 2011 : 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

    Books
    View online
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2011

    Published in: Lecture notes in computer science ; 6652

  6. Gorbenko, Anatoliy [Author] ; Romanovsky, Alexander [Editor]; Kharchenko, Vyacheslav [Editor]

    Software Engineering for Resilient Systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

    Books
    View online
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer, 2013

    Published in: Lecture notes in computer science ; 8166

  7. Romanovsky, Alexander [Editor]; Troubitsyna, Elena [Editor]; Bitsch, Friedemann [Editor]

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

    Books
    View online
    Close

    Bookmarks

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

    Cham: Springer, 2019

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

  8. Collart-Dutilleul, Simon [Editor]; Lecomte, Thierry [Editor]; Romanovsky, Alexander [Editor]

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

    Books
    View online
    Close

    Bookmarks

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

    Cham: Springer, 2019

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

  9. Fantechi, Alessandro [Editor]; Lecomte, Thierry [Editor]; Romanovsky, Alexander [Editor]

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings

    Books
    View online
    Close

    Bookmarks

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

    Cham: Springer, 2017

    Published in: Lecture notes in computer science ; 10598

  10. Lecomte, Thierry [Editor]; Pinger, Ralf [Editor]; Romanovsky, Alexander [Editor]

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : First International Conference, RSSRail 2016, Paris, France, June 28-30, 2016, Proceedings

    Books
    View online
    Close

    Bookmarks

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

    Cham: Springer, 2016

    Published in: Lecture notes in computer science ; 9707

  11. Guelfi, Nicolas [Other]; Reggio, Gianna [Other]; Romanovsky, Alexander [Other]

    Scientific Engineering of Distributed Java Applications : 4th International Workshop, FIDJI 2004, Luxembourg-Kirchberg, Luxembourg, November 24-25, 2004, Revised Selected Papers

    Books
    View online
    Close

    Bookmarks

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

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2005

    Published in: Lecture notes in computer science ; 3409