Fakultät Informatik
    • Fakultät Informatik
    • Institut für Software- und Multimediatechnik
    • Technische Universität Dresden
    • Kontakt
    • Facebook
    • Twitter
    • Youtube
    • RSS-Feeds
    Language:
    • DE
    • EN
Interactive Media Lab Dresden
  • News
  • Studium
    • Lehrangebot
    • Studentische Arbeiten
  • Forschung
    • Projekte
    • Publikationen
    • Partner
    • Dresden Talks
  • Publikationen
  • Über uns
    • Unser Team
    • Jobs / Open Positions
    • Presse
    • Kontakt
    • Barrierefreiheit
    • Impressum
Interactive Media Lab Dresden –
  • News
  • Studium
    • Lehrangebot
    • Studentische Arbeiten
  • Forschung
    • Projekte
    • Publikationen
    • Partner
    • Dresden Talks
  • Publikationen
  • Über uns
    • Unser Team
    • Jobs / Open Positions
    • Presse
    • Kontakt
    • Barrierefreiheit
    • Impressum

Studentische Arbeiten

Visualisierung von Model Checking für Hyperproperties und Informationsflüssen

von Forschungsprojekt Dennis Dimov

  • Lehrangebot
  • Studentische Arbeiten
  • research

  • 3. Februar 2020 bis 18. Mai 2020

  • Studium
  • Studentische Arbeiten
  • 2020
  • Forschungsprojekt Dennis Dimov

Letzte Änderung: vor 7 Monaten (1. Juli 2020 @ 09:33)

Copyright © 2012-2021   Interactive Media Lab Dresden

  • Impressum
  • Datenschutz
  • Barrierefreiheit
Unsere Webseite nutzt Cookies - Datenschutzerklärung  •  Our website uses cookies - Data Protection PolicyOk