• 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. Dr.techn. Markus BADER
  • Univ.Ass. Dipl.-Ing. BSc Andreas BRANDSTÄTTER
  • Univ.Ass. Dipl.-Ing. BSc Axel BRUNNBAUER
  • Univ.Ass. Dipl.-Ing. BSc Stephan FELBER
  • Univ.Ass. Dipl.-Ing. BSc Nikolaus Manes FUNK
  • Univ.Ass. Dipl.-Ing. BSc Florian Ferdinand HUEMER
  • Univ.Ass. MSc Valentin Philipp JUST
  • Univ.Ass. Dipl.-Inform. Florian KRIEBEL
  • Univ.Ass. Dipl.-Ing. BSc David LUNG
  • Univ.Ass. Dipl.-Ing. BSc Thomas SCHLÖGL
  • Univ.Ass. Dr.rer.nat. Stefan Alexander SCHUPP
  • BSc Gernot STEINDL
  • 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
  • Projektass. Jie HE
  • Senior Lecturer Dipl.-Ing. Dr.techn. Martin KRONEGGER
• Course Type: all
  • all
  • LU
  • PR
  • SE
  • UE
  • VO
  • VU
• Semester: current
  • 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	2023S	4.0	CPS

View list of courses in TISS: german english