Search result: Courses in Spring Semester 2022

Computer Science Master Information
Master Studies (Programme Regulations 2020)
Minor in Programming Languages and Software Engineering
263-2812-00LProgram Verification Information Restricted registration - show details
Number of participants limited to 30.
W5 credits3G + 1A
263-2812-00 GProgram Verification Special students and auditors need a special permission from the lecturers.3 hrs
Wed09:15-12:00CAB G 56 »
P. Müller
263-2812-00 AProgram Verification Special students and auditors need a special permission from the lecturers.1 hrsP. Müller
263-2815-00LAutomated Software Testing Restricted registration - show details
Last cancellation/deregistration date for this graded semester performance: 18 March 2022! Please note that after that date no deregistration will be accepted and the course will be considered as "fail".
W7 credits2V + 1U + 3A
263-2815-00 VAutomated Software Testing2 hrs
Tue12:15-14:00CAB G 61 »
Z. Su
263-2815-00 UAutomated Software Testing1 hrs
Mon17:15-18:00CAB G 51 »
Z. Su
263-2815-00 AAutomated Software Testing3 hrsZ. Su
263-2925-00LProgram Analysis for System Security and Reliability Information W7 credits2V + 1U + 3A
263-2925-00 VProgram Analysis for System Security and Reliability2 hrs
Thu16:15-18:00LFO C 13 »
M. Vechev
263-2925-00 UProgram Analysis for System Security and Reliability1 hrs
Thu13:15-14:00CAB G 51 »
M. Vechev
263-2925-00 AProgram Analysis for System Security and Reliability3 hrsM. Vechev
263-4600-00LFormal Methods for Information Security Information W5 credits2V + 1U + 1A
263-4600-00 VFormal Methods for Information Security2 hrs
Tue10:15-12:00CAB G 59 »
S. Krstic, R. Sasse, C. Sprenger
263-4600-00 UFormal Methods for Information Security1 hrs
Tue12:15-13:00CAB G 59 »
S. Krstic, R. Sasse, C. Sprenger
263-4600-00 AFormal Methods for Information Security1 hrsS. Krstic, R. Sasse, C. Sprenger
  •  Page  1  of  1