Treffer 1 – 5 von 5 für Suche 'Marmsoler, Diego', Suchdauer: 0,05s 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
    Axiomatic specification and interactive verification of architectural design patterns in FACTum

    Axiomatic specification and interactive verification of architectural design patterns in FACTum von Marmsoler, Diego

    Veröffentlicht 2019
    Volltext öffnen
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Formal aspects of component software 20th international conference, FACS 2024, Milan, Italy, September 9–10, 2024, proceedings

    Formal aspects of component software 20th international conference, FACS 2024, Milan, Italy, September 9–10, 2024, proceedings

    Veröffentlicht 2024
    Weitere Verfasser: “… Marmsoler, Diego …”

    Volltext öffnen Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:
  3. 3
    3rd International Workshop on Formal Methods for Blockchains FMBC 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference)

    3rd International Workshop on Formal Methods for Blockchains FMBC 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference)

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


    Gespeichert in:
  4. 4
    5th International Workshop on Formal Methods for Blockchains FMBC 2024, April 7, 2024, Luxembourg City, Luxembourg

    5th International Workshop on Formal Methods for Blockchains FMBC 2024, April 7, 2024, Luxembourg City, Luxembourg

    Veröffentlicht 2024
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:
  5. 5
    2nd Workshop on Formal Methods for Blockchains FMBC 2020, July 20–21, 2020, Los Angeles, California, USA (Virtual Conference)

    2nd Workshop on Formal Methods for Blockchains FMBC 2020, July 20–21, 2020, Los Angeles, California, USA (Virtual Conference)

    Veröffentlicht 2020
    Weitere Verfasser:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: