Skip to contents

  2. Wolff, Burkhart [Author] ; Gaudel, Marie-Claude [Other]; Feliachi, Abderrahmane [Other]

    Unifying Theories of Programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

    Books
    View online
    Schließen
    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 ; 7681

  5. Fredj, Manel; Leger, Sven; Feliachi, Abderrahmane; Ordioni, Julien

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: OVADO

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer International Publishing, 2017

    Published in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

  6. Benaissa, Nazim; Bonvoisin, David; Feliachi, Abderrahmane; Ordioni, Julien

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: The PERF Approach for Formal Verification

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer International Publishing, 2016

    Published in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

  9. Halchin, Alexandra; Sylla, Adja Ndeye; Benyagoub, Sarah; Feliachi, Abderrahmane; Fonteneau, Yoann; Leger, Sven

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Integral Formal Proof: A Verification Approach Bridging the Gap Between System and Software Levels in Railway Systems

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer Nature Switzerland, 2023

    Published in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

  10. Halchin, Alexandra; Feliachi, Abderrahmane; Singh, Neeraj Kumar; Ait-Ameur, Yamine; Ordioni, Julien

    Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: B-PERFect

    Articles
    View online
    Schließen
    Close

    Bookmarks

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

    Springer International Publishing, 2017

    Published in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification