Treffer 1 – 2 von 2 für Suche 'Ničković, Dejan', Suchdauer: 0,03s 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
    Runtime verification 20th international conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, proceedings

    Runtime verification 20th international conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, proceedings

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


    Gespeichert in:
  2. 2
    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:
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book


    Gespeichert in:

Suchwerkzeuge: