Zum Inhalt springen

  1. ter Beek, Maurice H. [Herausgeber:in]; Sirjani, Marjan [Herausgeber:in]

    Coordination Models and Languages : 24th IFIP WG 6.1 International Conference, COORDINATION 2022, Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022, Lucca, Italy, June 13-17, 2022, Proceedings - [1st ed. 2022.]

    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, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Lecture Notes in Computer Science ; 13271

  2. ter Beek, Maurice H. [Herausgeber:in]; Monahan, Rosemary [Herausgeber:in]

    Integrated Formal Methods : 17th International Conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, Proceedings - [1st ed. 2022.]

    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, 2022. ; Cham: Imprint: Springer, 2022.

    Erschienen in: Lecture Notes in Computer Science ; 13274

  3. ter Beek, Maurice H. [Herausgeber:in]; Ničković, Dejan [Herausgeber:in]

    Formal Methods for Industrial Critical Systems : 25th International Conference, FMICS 2020, Vienna, Austria, September 2–3, 2020, Proceedings - [1st ed. 2020.]

    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, 2020. ; Cham: Imprint: Springer, 2020.

    Erschienen in: Programming and Software Engineering ; 12327- Springer eBook Collection

  4. ter Beek, Maurice H. [Herausgeber:in]; McIver, Annabelle [Herausgeber:in]; Oliveira, José N. [Herausgeber:in]

    Formal Methods – The Next 30 Years : Third World Congress, FM 2019, Porto, Portugal, October 7–11, 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: Programming and Software Engineering ; 11800- Springer eBooks ; Computer Science

  5. ter Beek, Maurice H. [Herausgeber:in]; Fantechi, Alessandro [Herausgeber:in]; Semini, Laura [Herausgeber:in]

    From Software Engineering to Formal Methods and Tools, and Back : Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday - [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 ; 11865- Springer eBook Collection- Springer eBooks ; Computer Science

  6. ter Beek, Maurice H. [Herausgeber:in]; Gnesi, Stefania [Herausgeber:in]; Knapp, Alexander [Herausgeber:in]

    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

  9. Arcaini, Paolo [Verfasser:in] ; Beek, Maurice H. ter [Mitwirkende:r]; Perrouin, Gilles [Mitwirkende:r]; Reinhartz-Berger, Iris [Mitwirkende:r]; Luaces, Miguel R. [Mitwirkende:r]; Schwanninger, Christa [Mitwirkende:r]; Ali, Shaukat [Mitwirkende:r]; Varshosaz, Mahsa [Mitwirkende:r]; Gargantini, Angelo [Mitwirkende:r]; Gnesi, Stefania [Mitwirkende:r]; Lochau, Malte [Mitwirkende:r]; Semini, Laura [Mitwirkende:r]; Washizaki, Hironori [Mitwirkende:r] ACM Special Interest Group on Software Engineering, ACM SIGs

    Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A

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

    Erschienen in: ACM Conferences- ACM Digital Library

  10. Arcaini, Paolo [Verfasser:in] ; Beek, Maurice H. ter [Mitwirkende:r]; Perrouin, Gilles [Mitwirkende:r]; Reinhartz-Berger, Iris [Mitwirkende:r]; Machado, Ivan [Mitwirkende:r]; Vergilio, Silvia Regina [Mitwirkende:r]; Rabiser, Rick [Mitwirkende:r]; Yue, Tao [Mitwirkende:r]; Devroey, Xavier [Mitwirkende:r]; Pinto, Mónica [Mitwirkende:r]; Washizaki, Hironori [Mitwirkende:r] ACM Special Interest Group on Software Engineering, ACM SIGs

    Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B

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

    Erschienen in: ACM Conferences- ACM Digital Library