Zum Inhalt springen

  1. Gnesi, Stefania [Sonstige Person, Familie und Körperschaft] ; Europäische Kommission Formal Methods Europe

    2013 1st FME Workshop on Formal Methods in Software Engineering (FormaliSE) : 25 May 2013, San Francisco, CA, USA ; co-located with ICSE 2013, [the 35th International Conference on Software Engineering]

    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.

    Piscataway, NJ: IEEE, 2013

  2. Gnesi, Stefania [Sonstige Person, Familie und Körperschaft]

    2012 formal methods in software engineering: rigorous and agile approaches (FormSERA) : 2 June 2012, Zurich, Switzerland ; [part of the 34th International Conference on Software Engineering (ICSE)]

    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.

    Piscataway, NJ: IEEE, 2012

  3. Gnesi, Stefania [VerfasserIn] ; ACM Special Interest Group on Software Engineering, ACM SIGs

    Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering

    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.

    New York,NY,United States: Association for Computing Machinery, 2022

    Erschienen in: ACM Conferences- ACM Digital Library

  4. Gnesi, Stefania [VerfasserIn] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering

    Proceedings of the 6th Conference on Formal Methods in Software Engineering

    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.

    New York, NY: ACM, 2018

    Erschienen in: ACM Digital Library- ACM Conferences

  5. Gnesi, Stefania [VerfasserIn] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering

    Proceedings of the 5th International FME Workshop on Formal Methods in Software Engineering

    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.

    Piscataway, NJ: IEEE Press, 2017

    Erschienen in: ACM Digital Library

  6. Gnesi, Stefania [VerfasserIn] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering

    Proceedings of the Third FME Workshop on Formal Methods in Software Engineering

    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.

    Piscataway, NJ: IEEE Press, 2015

    Erschienen in: ACM Digital Library

  7. Gnesi, Stefania [VerfasserIn] ; Rensink, Arend [HerausgeberIn]

    Fundamental Approaches to Software Engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 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.

    Berlin, Heidelberg: Springer, 2014

    Erschienen in: Lecture notes in computer science ; 8411

  8. Gnesi, Stefania [VerfasserIn] ; Association for Computing Machinery-Digital Library

    Proceedings of the 18th International Software Product Line Conference Companion Volume for Workshops, Demonstrations and Tools - Volume 2

    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.

    New York, NY: ACM, 2014

    Erschienen in: ACM Other conferences- ACM Digital Library

  9. Gnesi, Stefania [VerfasserIn] ; Association for Computing Machinery-Digital Library

    Proceedings of the 18th International Software Product Line Conference - Volume 1

    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.

    New York, NY: ACM, 2014

    Erschienen in: ACM Other conferences- ACM Digital Library

  10. Gnesi, Stefania [VerfasserIn] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering

    Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering

    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.

    New York, NY: ACM, 2014

    Erschienen in: ACM Conferences- ACM Digital Library

  11. Gnesi, Stefania [VerfasserIn] ; Association for Computing Machinery

    Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive 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.

    New York, NY: ACM, 2013

    Erschienen in: ACM Digital Library- ACM Other conferences

  12. Gnesi, Stefania [VerfasserIn] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering

    Proceedings of the First International Workshop on Formal Methods in Software Engineering Rigorous and Agile Approaches

    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.

    Piscataway, NJ: IEEE Press, 2012

    Erschienen in: ACM Digital Library

  13. Gnesi, Stefania [VeranstalterIn]; Plat, Nico [VeranstalterIn] ; FME Workshop on Formal Methods in Software Engineering 4. 2016 Austin, Tex, Institute of Electrical and Electronics Engineers, Association for Computing Machinery, Europäische Kommission Formal Methods Europe

    4th FME Workshop on Formal Methods in Software Engineering - FormaliSE 2016 : 15 May 2016, Austin, Texas, USA : 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.

    [Piscataway, NJ]: IEEE, 2016

  14. Araki, Keijiro [VerfasserIn] ; Gnesi, Stefania [Sonstige Person, Familie und Körperschaft]; Mandrioli, Dion [Sonstige Person, Familie und Körperschaft]

    FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, 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, 2003

    Erschienen in: Lecture notes in computer science ; 2805

  15. Araki, Keijiro [VerfasserIn] ; Gnesi, Stefania [Sonstige Person, Familie und Körperschaft]; Mandrioli, Dino [Sonstige Person, Familie und Körperschaft]

    FME 2003: Formal Methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. 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, 2003

    Erschienen in: Lecture notes in computer science ; 280500

  16. Gnesi, Stefania [Sonstige Person, Familie und Körperschaft]; Margaria-Steffen, Tiziana [Sonstige Person, Familie und Körperschaft]

    Formal methods for industrial critical systems : a survey of applications

    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.

    Hoboken, New Jersey: John Wiley & Sons Inc, [2012] ; Online-Ausg.

    Erschienen in: IEEE Xplore Digital Library

  17. Derrick, John [VerfasserIn] ; Gnesi, Stefania [Sonstige Person, Familie und Körperschaft]; Latella, Diego [Sonstige Person, Familie und Körperschaft]; Treharne, Helen [Sonstige Person, Familie und Körperschaft]

    Integrated Formal Methods : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. 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, 2012

    Erschienen in: Lecture notes in computer science ; 7321

  18. ter Beek, Maurice H. [HerausgeberIn]; Gnesi, Stefania [HerausgeberIn]; Knapp, Alexander [HerausgeberIn]

    Critical Systems: Formal Methods and Automated Verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 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 ; 9933

  19. Fitzgerald, John [HerausgeberIn]; Heitmeyer, Constance [HerausgeberIn]; Gnesi, Stefania [HerausgeberIn]; Philippou, Anna [HerausgeberIn]

    FM 2016: Formal Methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 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 ; 9995