Skip to contents

  2. Bensalem, Saddek [Author] ; Lakhneck, Yassine [Editor]; Legay, Axel [Editor]

    From Programs to Systems. The Systems perspective in Computing : ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

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

    Published in: Lecture notes in computer science ; 8415

  16. Guesmi, Hela [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Bensalem, Saddek [Contributor]

    Des systèmes à base de composants aux implémentations cadencées par le temps : une approche correcte par conception ; From timed component-based systems to time-triggered implementations : a correct-by-design approach

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2017-10-27

  19. Atig, Mohamed Faouzi [Editor]; Bensalem, Saddek [Editor]; Bliudze, Simon [Editor]; Monsuez, Bruno [Editor]

    Verification and Evaluation of Computer and Communication Systems : 12th International Conference, VECoS 2018, Grenoble, France, September 26–28, 2018, Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Cham: Springer International Publishing, 2018

    Published in: Theoretical Computer Science and General Issues ; 11181- SpringerLink ; Bücher

  20. Ben Rayana - Tekaya, Souha [Author] ; Université Grenoble Alpes (ComUE) [Contributor]; Bensalem, Saddek [Contributor]; Bozga, Marius [Contributor]

    Compositional verification of component-based real-time systems and applications ; Vérification compositionnelle des systèmes temps-réel à base de composants et applications

    Thesis
    View online
    Schließen
    Close

    Bookmarks

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

    theses.fr, 2016-11-04