L.079.05812 Modelchecking (in English)

Course offering details

Instructors: Prof. Dr. Heike Wehrheim

Event type: Lecture (with exercise)

Org-unit: Informatik

Displayed in timetable as: Modelchecking

Language of instruction: Englisch

Min. | Max. participants: - | -

Small group(s)
This course is divided into the following small groups:

  • Modelchecking (in English) - Übung 1

    Prof. Dr. Heike Wehrheim

    Tue, 9. Apr. 2013 [13:00]-Tue, 16. Jul. 2013 [13:15]

    Show small group
Appointments
Date From To Room Instructors
1 Tue, 9. Apr. 2013 11:00 13:00 D 2 Prof. Dr. Heike Wehrheim
2 Tue, 16. Apr. 2013 11:00 13:00 D 2 Prof. Dr. Heike Wehrheim
3 Tue, 23. Apr. 2013 11:00 12:30 D 2 Prof. Dr. Heike Wehrheim
4 Tue, 30. Apr. 2013 11:00 12:30 D 2 Prof. Dr. Heike Wehrheim
5 Tue, 7. May 2013 11:00 12:30 D 2 Prof. Dr. Heike Wehrheim
6 Tue, 14. May 2013 11:00 12:30 D 2 Prof. Dr. Heike Wehrheim
7 Tue, 21. May 2013 11:00 12:30 D 2 Prof. Dr. Heike Wehrheim
8 Tue, 28. May 2013 11:00 12:30 D 2 Prof. Dr. Heike Wehrheim
9 Tue, 4. Jun. 2013 11:00 12:30 D 2 Prof. Dr. Heike Wehrheim
10 Tue, 11. Jun. 2013 11:00 12:30 D 2 Prof. Dr. Heike Wehrheim
11 Tue, 18. Jun. 2013 11:00 12:30 D 2 Prof. Dr. Heike Wehrheim
12 Tue, 25. Jun. 2013 11:00 12:30 D 2 Prof. Dr. Heike Wehrheim
13 Tue, 2. Jul. 2013 11:00 12:30 D 2 Prof. Dr. Heike Wehrheim
14 Tue, 9. Jul. 2013 11:00 12:30 D 2 Prof. Dr. Heike Wehrheim
15 Tue, 16. Jul. 2013 11:00 12:30 D 2 Prof. Dr. Heike Wehrheim
Contained in modules
Module
M.079.3101 Softwaretechnik I (SS 2009, SS 2009)
M.079.3101 Softwaretechnik I (WS 2009/10, WS 2009/10)
M.079.3101 Softwaretechnik I (SS 2010, SS 2010)
M.079.3101 Softwaretechnik I (WS 2010/11, WS 2010/11)
M.079.3101 Softwaretechnik I (SS 2011, SS 2011)
M.079.3101 Softwaretechnik I (WS 2011/12, WS 2011/12)
M.079.3101 Softwaretechnik I (SS 2012, SS 2012)
M.079.3101 Softwaretechnik I (WS 2012/13, WS 2012/13)
M.079.3101 Software Engineering 1 (SS 2013, SS 2013)
M.079.3104 Semantik und Verifikation (WS 2009/10, WS 2009/10)
M.079.3104 Semantik und Verifikation (WS 2010/11, WS 2010/11)
M.079.3104 Semantik und Verifikation (WS 2012/13, WS 2012/13)
M.079.3104 Semantik und Verifikation (SS 2013, SS 2013)
M.079.3111 Model-Based Software Development (WS 2009/10, WS 2009/10)
M.079.3111 Model-based software development (WS 2009/10)
M.079.3111 Model-based software development (SS 2010)
M.079.3111 Model-based software development (WS 2010/11)
M.079.3111 Model-based software development (WS 2010/11)
M.079.3111 Model-based software development (SS 2011)
M.079.3111 Model-based software development (SS 2011)
M.079.3111 Model-based software development (WS 2011/12)
M.079.3115 Analytical Methods in Software Engineering (WS 2009/10, WS 2009/10)
Course specific exams
Description Date Instructors Mandatory
1. Prüfungsleistung Time tbd Yes
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
Instructors
Prof. Dr. Heike Wehrheim