Hauptinhalt

Modellierung und Analyse eingebetteter und verteilter Systeme Übung

Übungen zur Vorlesung WS 16/17 (4 SWS Vorlesung, Nr. 041214, 2 SWS Übung)
Modellierung und Analyse eingebetteter und verteilter Systeme

 

Übungstermine
  • Fr. 12:00 bis 14:00, Otto-Hahn-Str 16 - R. 205
  • Fr. 14:00 bis 16:00, Otto-Hahn-Str. 16 - R. 205

  

Betreuung

Iryna Dohndorf

 

Hinweise
  • Die Anmeldung zu den Übungsgruppen erfolgt per Mail an iryna.dohndorf(ä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.
  • Für Diplomstudierende: Zum Erlangen eines Übungsscheins ist eine aktive Teilnahme an den Übungen notwendig, d.h. Anwesenheit und Präsentation der gelösten Aufgaben. Des Weiteren müssen mindestens 60% der Gesamtpunktzahl erreicht werden.
Übungsblätter

 

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/