![[logo of the networked systems group]](/en/images/vs.gif)
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"
 | Superordinated page: Spezifikation vernetzter Systeme (SoSe 2011) |
| Vorlesung 89-4152 (Master): 2 Std. + 1 Std. Übung |
| | Feedback |
| Go to the contact details of the person in charge of this page |
| | Deutsch  |
| This page in german. Diese Seite auf deutsch. |