Treffer 1 – 8 von 8 für Suche 'Beek, Maurice H. ter 1972-', Suchdauer: 0,06s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Integrated formal methods 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, proceedings

    Integrated formal methods 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022, proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Beek, Maurice H. ter 1972- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    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

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

    Veröffentlicht 2022
    Weitere Verfasser: “… Beek, Maurice H. ter 1972- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Formal methods for industrial critical systems 25th international conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings

    Formal methods for industrial critical systems 25th international conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings

    Veröffentlicht 2024
    Weitere Verfasser: “… Beek, Maurice H. ter 1972- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  4. 4
    From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th birthday

    From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th birthday

    Veröffentlicht 2019
    Weitere Verfasser: “… Beek, Maurice H. ter 1972- …”
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  5. 5
    Critical systems: formal methods and utomated 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

    Critical systems: formal methods and utomated verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Au...

    Veröffentlicht 2016
    Weitere Verfasser: “… Beek, Maurice H. ter 1972- …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Integrated formal methods 17th international conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022 : proceedings

    Integrated formal methods 17th international conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022 : proceedings

    Veröffentlicht 2022
    Weitere Verfasser: “… Beek, Maurice H. ter 1972- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Formal methods for industrial critical systems 25th international conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings

    Formal methods for industrial critical systems 25th international conference, FMICS 2020, Vienna, Austria, September 2-3, 2020 : proceedings

    Veröffentlicht 2020
    Weitere Verfasser: “… Beek, Maurice H. ter 1972- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  8. 8
    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

    Critical systems: formal methods and automated verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on A...

    Veröffentlicht 2016
    Weitere Verfasser: “… Beek, Maurice H. ter 1972- …”
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: