Übungen zur Vorlesung WS 14/15 (4 SWS Vorlesung, Nr. 041214, 2 SWS Übung)
Modellierung und Analyse eingebetteter und verteilter Systeme
Übungstermine
Zeit:
- Fr 10:00 - 12:00, OH 16 Raum 205
- Fr 12:00 - 14:00, OH 16 Raum 205
Betreuung
Iryna Felko
Hinweise
- Die Anmeldung zu den Übungsgruppen erfolgt per Mail an iryna.felko(ät)udo.edu.
- Übungsblätter werden übungsbegleitend zur Verfügung gestellt.
- Die bearbeiteten Aufgaben können bis zum auf dem Übungszettel angegebenen Datum per Mail an iryna.felko(ät)udo.edu 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/)