Humboldt-Universität zu Berlin, Institut für Informatik, Prof. Dr. Holger Schlingloff
Lectures on "Specification-Based Testing of Embedded Systems"

Here are the slides from the SEFM 2008 School on Specification-Based Testing of Embedded Systems, at the University of Cape Town.

Slides (C) H. Schlingloff 2009. Use permitted only for private personal use; distribution prohibited!
H. Schlingloff, 19.4.2010