• Division: CPS
  • all
  • CPS
  • ECS
  • AS
  • PC
• Lecturer: Univ.Lektor Dr. Nickovic DEJAN
  • all
  • Univ.Prof. Dipl.-Ing. Dr.rer.nat. Radu GROSU
  • Dipl.-Ing. Dr.techn. Ulrich SCHMID
  • Univ.Prof. Dr. Ezio BARTOCCI
  • Univ.Lektor Dr. Nickovic DEJAN
  • Dipl.-Ing. Dr. Raimund KIRNER
  • Dipl.-Ing. Dr. Stefan POLEDNA
  • ao.Prof. Dr. Josef WIDDER
  • Univ.Ass. Dipl.-Ing. Dr.techn. Matthias FÜGGER
  • Univ.Ass. Dipl.-Ing. Bakk.techn. Robert NAJVIRT
• Course Type: all
  • all
  • LU
  • PR
  • SE
  • UE
  • VO
  • VU
• Semester: 2016S
  • current
  • 2024 SS
  • 2023 WS
  • 2023 SS
  • 2022 WS
  • 2020 SS
  • 2019 WS
  • 2019 SS
  • 2018 WS
  • 2018 SS
  • 2017 SS
  • 2016 WS
  • 2013 SS
  • 2012 WS
  • 2011 WS
  • 2011 SS
  • 2010 WS
  • 2010 SS

Courses

courses at the institute

Course Nr	Type	Title and Lector	Semester	Hours	Division
182741	VU	Runtime Verification Univ.Prof. Dr. Ezio BARTOCCI, Univ.Lektor Dr. Nickovic DEJAN	2016S	2.0	CPS

View list of courses in TISS: german english