Hauptinhalt

Übungen zur Vorlesung WS 18/19 (4 SWS Vorlesung, Nr. 041214, 2 SWS Übung)

Modellierung und Analyse eingebetteter und verteilter Systeme

 

Übungstermine

• Fr. 12:15 bis 13:45, Otto-Hahn-Str 16 - R. 205
• Fr. 14:15 bis 15:45, Otto-Hahn-Str. 16 - R. 205
  
  

  Aktuell: KEINE Übungen am Freitag, den 21.12.2018 !!

Betreuung

 Jessica Bühler

 

Hinweise

• Die Anmeldung zu den Übungsgruppen erfolgt per Mail an jessica.buehler(ät)tu-dortmund.de
• Übungsblätter werden übungsbegleitend zur Verfügung gestellt.
• Die bearbeiteten Aufgaben können bis zum auf dem Übungszettel angegebenen Datum per Mail an iryna.dohndorf(ät)tu-dortmund.de gesendet werden (@ einsetzen). Bitte nur PDF oder Postscript nutzen.

Übungsblätter

• Übungsblatt 1
• Übungsblatt 2
• Übungsblatt 3
• Übungsblatt 4
• Übungsblatt 5
• Übungsblatt 6
• Übungsblatt 7
• Übungsblatt 8
• Übungsblatt 9
• Übungsblatt 10
• Übungsblatt 11
• Übungsblatt 12
• Übungsblatt 13
• Übungsblatt 14

Nützliche Links

Java Modelling Tools (http://jmt.sourceforge.net/)

The R project for statistical computing (http://www.r-project.org/)

SPIN Model Checker (http://www.spinroot.com/)