392206 Sichere Systementwicklung mit SPARK - Labor*** (L) (SoSe 2012)

Lehrende

Fachzuordnungen

Studiengang/-angebot	Gültigkeit	Variante	Untergliederung	Status	Sem.	LP
Bioinformatik und Genomforschung / Bachelor	(Enrollment until SoSe 2011)		System-Safety und -Security II; System-Safety- und System	Wahlpflicht	6.	2	unbenotet
Intelligente Systeme / Master	(Enrollment until SoSe 2012)		System-Safety und -Security II; System-Safety	Wahlpflicht	2.	2	unbenotet
Kognitive Informatik / Bachelor	(Enrollment until SoSe 2011)		System-Safety und -Security II; System-Safety- und System	Wahlpflicht	6.	2	unbenotet
Medieninformatik und Gestaltung / Bachelor	(Enrollment until SoSe 2011)		System-Safety und -Security II; System-Safety	Wahlpflicht	6.	2	unbenotet
Medieninformatik und Gestaltung / Bachelor	(Enrollment until SoSe 2011)		System-Safety		6.	2	unbenotet
Naturwissenschaftliche Informatik / Bachelor	(Enrollment until SoSe 2011)		System-Safety und -Security II; System-Safety- und System	Wahlpflicht	6.	2	unbenotet
Naturwissenschaftliche Informatik / Diplom	(Enrollment until SoSe 2004)		allgem.HS				unbenotet HS
Naturwissenschaftliche Informatik / Master	(Enrollment until SoSe 2012)		System-Safety und -Security II; System-Safety- und System	Wahlpflicht	2.	2	unbenotet

---

Konkretisierung der Anforderungen

E-Learningangebote

Teilnehmer*innen

Automatischer E-Mailverteiler der Veranstaltung

Änderungen/Aktualität der Veranstaltungsdaten

Sonstiges