Dejan Nickovic

Suchergebnisse

• 191.118 Runtime Verification

  Bartocci, E. (Vortragender) & Nickovic, D. (Vortragender)

  März 2023 → Aug. 2023

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vorlesung

• Runtime Verification - Master/PhD course

  Nickovic, D. (Vortragender) & Bartocci, E. (Vortragender)

  1 März 2022 → 30 Juni 2022

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vorlesung

• 182.741 Runtime Verification

  Nickovic, D. (Vortragender)

  1 März 2021 → 30 Juni 2021

  Aktivität: Vortrag ohne Tagungsband / Vorlesung › Vorlesung