Treffer 1 – 3 von 3 für Suche 'Willemse, Tim A. C. 1974-', Suchdauer: 0,04s 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
    Formal techniques for distributed objects, components, and systems 41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings

    Formal techniques for distributed objects, components, and systems 41st IFIP WG 6.1 International Conference, FORTE 2021, held as part of the 16th International Federated Conferenc...

    Veröffentlicht 2021
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  2. 2
    Formal methods for industrial critical systems 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, proceedings

    Formal methods for industrial critical systems 24th international conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, proceedings

    Veröffentlicht 2019
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    Software engineering and formal methods 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings

    Software engineering and formal methods 21st international conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023 : proceedings

    Veröffentlicht 2023
    Weitere Verfasser:
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: