392133 Causal System Analysis (CSA) (Fortsetzung) (PjS) (SoSe 2001)
Contents, comment
-
Das Projektseminar hat im Oktober 2000 begonnen; es werden keine neuen Teilnehmer aufgenommen!
Wir werden die Causal System Analysis (CSA) Methode für die im-Voraus Sicherheitsanalyse von Sicherheits-kritischen Systemen anwenden. Wir werden neue Beispiele bearbeiten und Unterstützung-Tools entwickeln.
Literatur
- Why-Because Analysis: Formal Reasoning About Incidents, Buch (in PS/PDF-Form) von Peter Ladkin und Karsten Loer.
- Zusätzliche Literatur wird jetzt vorbereitet.
External comments page
Teaching staff
Subject assignments
| Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
|---|---|---|---|---|---|---|---|
| Naturwissenschaftliche Informatik / Diplom | (Enrollment until SoSe 2004) | HS |
No more requirements
No eLearning offering available
- Address:
- SS2001_392133@ekvv.uni-bielefeld.de
- This address can be used by teaching staff, their secretary's offices as well as the individuals in charge of course data maintenance to send emails to the course participants. IMPORTANT: All sent emails must be activated. Wait for the activation email and follow the instructions given there.
- If the reference number is used for several courses in the course of the semester, use the following alternative address to reach the participants of exactly this: VST_1001181@ekvv.uni-bielefeld.de
- Notes:
- Additional notes on the electronic mailing lists
- Last update basic details/teaching staff:
- Friday, December 11, 2015
- Last update times:
- ?
- Last update rooms:
- ?
- Type(s) / SWS (hours per week per semester)
- project seminar (PjS) / 6
- Department
- Faculty of Technology
- Questions or corrections?
- Questions or correction requests for this course?
- Planning support
- Clashing dates for this course
- Links to this course
- If you want to set links to this course page, please use one of the following links. Do not use the link shown in your browser!
- The following link includes the course ID and is always unique:
- https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=1001181
- Send page to mobile
-
Click to open QR code
Scan QR code:
- ID
- 1001181
Top of page