ECLA-VENT
AutoMock

WS2017/18:

• Dynamic Systems for Computer Scientists (V)
• Cyber-Physische Systeme in Medizintechnik und Mobilität (S)

WS2016/17:

• Dynamic Systems for Computer Scientists (V)
• Eingebettete Software in Medizintechnik & eMobilität (S)

SS2016:

• Eingebettete Software in Medizintechnik & eMobilität (S)

WS2015/16:

• Dynamic Systems for Computer Scientists (V)
• Eingebettete Signalverarbeitung in Medizintechnik & eMobilität (S)

WS2014/15:

• Dynamic Systems for Computer Scientists (V)
• Ausgesuchte Themen zur Eingebetteten Software (S)

WS2013/14:

• Safe and Sound: Testing and Model Checking of Embedded Systems (S)
• Dynamic Systems for Computer Scientists (V)

• Eingebette Rezirkulationsmessung für ECLA-Systeme
• Editor und Steuerungsapplikation für pulsatile Blutflüsse
• Rezirkulationsmessung bei extrakorporaler Lungenunterstützung
• Auslegung einer pulsatilen Ansteuerungsstrategie für eine Blutpumpe
• Modellierung und Analyse von konkurrierenden Sicherheitszielen in einer intensivmedizinischen Anwendung

<BIBTEX: file=publikationen style=i11 sort=timestamp filter=Kühn, J.>