Zum Inhalt springen

  1. Salaün, Gwen [Herausgeber:in]; Schätz, Bernhard [Sonstige Person, Familie und Körperschaft] ; FMICS 16 2011 Trient

    Formal methods for industrial critical systems : 16th international workshop, FMICS 2011, Trento, Italy, August 29 - 30, 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 [u.a.]: Springer, 2011

    Erschienen in: Lecture notes in computer science ; 6959

  2. Giannakopoulou, Dimitra [Verfasser:in] ; Salaün, Gwen [Herausgeber:in]

    Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014. 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 [u.a.]: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8702

  3. Păsăreanu, Corina S. [Verfasser:in] ; Salaün, Gwen [Sonstige Person, Familie und Körperschaft]

    Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. 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, 2013

    Erschienen in: Lecture notes in computer science ; 7684

  4. Salaün, Gwen [Verfasser:in] ; Schätz, Bernhard [Sonstige Person, Familie und Körperschaft]

    Formal Methods for Industrial Critical Systems : 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 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 ; 6959

  5. Salaün, Gwen [Herausgeber:in]; Wijs, Anton [Herausgeber:in]

    Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings - [1st ed. 2021.]

    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 International Publishing, 2021. ; Cham: Imprint: Springer, 2021.

    Erschienen in: Programming and Software Engineering ; 13077

  6. Ölveczky, Peter Csaba [Herausgeber:in]; Salaün, Gwen [Herausgeber:in]

    Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18–20, 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: Theoretical Computer Science and General Issues ; 11724 - Springer eBooks ; Computer Science

  7. Mazzara, Manuel [Herausgeber:in]; Ober, Iulian [Herausgeber:in]; Salaün, Gwen [Herausgeber:in]

    Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toulouse, France, June 25-29, 2018, 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.

    Cham: Springer International Publishing, 2018

    Erschienen in: Programming and Software Engineering ; 11176 - SpringerLink ; Bücher

  9. Muroor Nadumane, Ajay Krishna [Verfasser:in] ; Université Grenoble Alpes [Mitwirkende:r]; Salaün, Gwen [Mitwirkende:r]; Mateescu, Radu [Mitwirkende:r]; Le Pallec, Michel [Mitwirkende:r]

    Modèles et vérification pour la composition et la reconfiguration d'applications basées sur le web des objets ; Models and Verification for Composition and Reconfiguration of Web of Things Applications

    Hochschulschriften
    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.

    theses.fr, 2020-12-10

  10. Barbon, Gianluca [Verfasser:in] ; Université Grenoble Alpes (ComUE) [Mitwirkende:r]; Salaün, Gwen [Mitwirkende:r]; Leroy, Vincent [Mitwirkende:r]

    Débogage de modèles comportementaux par analyse de contre-exemple ; Debugging of Behavioural Models using Counterexample Analysis

    Hochschulschriften
    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.

    theses.fr, 2018-12-14

  11. Evrard, Hugues [Verfasser:in] ; Université Grenoble Alpes (ComUE) [Mitwirkende:r]; Salaün, Gwen [Mitwirkende:r]; Lang, Frédéric [Mitwirkende:r]

    Génération automatique d'implémentation distribuée à partir de modèles formels de processus concurrents asynchrones ; Automatic Distributed Code Generation from Formal Models of Asynchronous Concurrent Processes

    Hochschulschriften
    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.

    theses.fr, 2015-07-10

  12. Ozeer, Umar Ibn Zaid [Verfasser:in] ; Université Grenoble Alpes (ComUE) [Mitwirkende:r]; Salaün, Gwen [Mitwirkende:r]; Letondeur, Loïc [Mitwirkende:r]; Ottogalli, François-Gaël [Mitwirkende:r]; Vincent, Jean-Marc [Mitwirkende:r]

    Autonomic resilience of distributed IoT applications in the Fog ; Gestion autonome de la résilience des applications IoT distribuées en bordure de réseau (Fog)

    Hochschulschriften
    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.

    theses.fr, 2019-12-11