• 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. MSc PhD Jesper Larsson TRÄFF
  • Univ.Prof. Dr. Ezio BARTOCCI
  • Associate Prof. Dipl.-Inform. Dr.rer.nat. Sascha HUNOLD
  • Univ.Ass. Dipl.-Ing. BSc Florian Ferdinand HUEMER
  • Univ.Ass. Dipl.-Inform. Florian KRIEBEL
  • Ass.Prof.in Dipl.-Ing. Mag.a rer.soc.oec. Dr.in techn. Monika DI ANGELO
  • Univ.Lektor Dr. Nickovic DEJAN
  • Dipl.-Ing. Dr. Stefan POLEDNA
  • Privatdoz. Dipl.-Ing. Dr.techn. Wilfried STEINER
  • Dipl.-Ing.(FH) MBA Dieter ETZ
  • Univ.Ass. Dipl.-Ing. Dr.techn. Matthias FÜGGER
  • Univ.Ass. Muhammad Abdullah HANIF
  • Univ.Ass. Dipl.-Ing. Dipl.-Ing. BSc Jürgen MAIER
  • Prof. Dr.-Ing Muhammad SHAFIQUE
  • Univ.Ass. Dipl.-Ing. Dr.techn. Kyrill WINKLER
• Course Type: all
  • all
  • LU
  • PR
  • SE
  • VO
  • VU
• Semester: 2020 SS
  • current
  • 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
191118	VU	Runtime Verification Univ.Prof. Dr. Ezio BARTOCCI, Univ.Lektor Dr. Nickovic DEJAN	2020S	4.0	CPS

View list of courses in TISS: german english