Downloads
Here you can find the presentations of the PhD-tutorials and workshops arranged according to subject.
General Information
Introduction to DCPS (Heinrich T. Vierhaus)
Validation and Verification (Liberec, June 2014)
Verification & Debugging of Circuits and Systems using Formal Methods (Görschwin Fey)
Tutorial on Matlab and System Generator for FPGA design (Martin Rozkovec)
Start up Workshop (Cottbus, September 2014)
Getting started in research (Heinrich T. Vierhaus)
Introduction to Scientific Paper Writing (Mario Schölzel)
Thesis Writing (Claus Lewerentz)
Many more tutorials can be found on the websides of the previous projekt ZUSYS.