TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Abschlussarbeiten  |  Sonstiges  |  Kontakt  | 

Vorlesung | Sommersemester 2012
Modellierung verteilter Systeme
(Grundlagen der Programm- und Systementwicklung II)

Übungsblätter

• 26.04.2012 - Blatt 01 - Systemsichten und Alternating Bit Protocol
• 10.05.2012 - Blatt 02 - Bahnübergang und Invarianten
• 31.05.2012 - Blatt 03 - Parallele Programme und Petersons Algorithmus
• 14.06.2012 - Blatt 04 - Stromverarbeitende Funktionen
• 12.01.2011 - Blatt 05 - Axiomatische Spezifikation und parallele Komposition von Zustandsautomaten
• 26.01.2011 - Blatt 06 - CSP

© Software & Systems Engineering Research Group
Sitemap |  Kontakt/Impressum
Letzte Änderung: 2012-07-10 22:47:08