AG Vernetzte Systeme Lehre SvS 2011 Eintrag im Vorlesungsverzeichnis

 

Spezifikation vernetzter Systeme (Vorlesung/Übung)

Dozent
Prof. Dr.-Ing. Reinhard Gotzhein

Weitere Informationen

• Anzahl der SWS: 2 Std./1 Std.
• Anzahl der ECTS Credits: 4LP
• Unterrichtssprache deutsch (bei Bedarf Englisch)
• Kennung: INF-41-52-V-7
• Zeit/Ort: Do, 08:15-09:45, 32-439, Beginn: 21.04.2011

Inhalt

• Spezifikation von Safety- und Liveness-Eigenschaften vernetzter Systeme mit temporaler Logik
• Realzeiteigenschaften
• Eigenschaften strukturierter Systeme
• Einführung in die Semantik von SDL

Content

• Specification of safety and liveness properties of networked systems with temporal logic
• Real-time properties
• Properties of structured systems
• Introduction to the formal semantics of SDL

Voraussetzungen
Bachelor "Informatik"

Sonstiges
Vertiefungs-/Anwendungsveranstaltung des Lehrgebiets "Systemsoftware"

---

	Übergeordnete Seite: Spezifikation vernetzter Systeme (SoSe 2011)
	Vorlesung 89-4152 (Master): 2 Std. + 1 Std. Übung

	Feedback
	Zu den Kontaktdetails des Verantwortlichen dieser Seite

	English
	This page in english. Diese Seite auf englisch.