gefundene Verfasser Willemse, T. A. C.

Willemse, Tim A. C. 1974-
Ferreira, Carla
FMICS Amsterdam
FORTE Online
Larsen, Kim Guldstrand 1957-
Alle anzeigen »
Peters, Kirstin 1981-
SEFM Eindhoven
Willemse, Tim A. C.

Treffer 1 - 4 von 4 für Suche 'Willemse, T. A. C.', Suchdauer: 0,42s Treffer weiter einschränken
  1. 1
    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

    Volltext
    Elektronisch E-Book

    Zu den Favoriten
    Gespeichert in:
  2. 2
    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
    DE-634
    DE-858
    DE-Aug4
    DE-1050
    DE-573
    DE-M347
    DE-92
    DE-898
    DE-860
    DE-861
    DE-863
    DE-862
    DE-523
    DE-91
    DE-384
    DE-473
    DE-19
    DE-355
    DE-703
    DE-20
    DE-706
    DE-29
    DE-739
    URL des Erstveröffentlichers
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  3. 3
    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
    BTU01
    FHA01
    FHI01
    FHM01
    FHN01
    FHR01
    FKE01
    FLA01
    FRO01
    FWS01
    FWS02
    HTW01
    TUM01
    UBG01
    UBM01
    UBR01
    UBT01
    UBW01
    UBY01
    UER01
    UPA01
    URL des Erstveröffentlichers
    Buchcover
    Elektronisch Tagungsbericht E-Book

    Zu den Favoriten
    Gespeichert in:
  4. 4
    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
    Tagungsbericht Buch

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: