Demonstrator: Test and Verification of Dependable Systems
The demonstrator which is designed under the guidance of the Competence Team for Test and Verification of Dependable Systems and other related projects in our department will show as an example the task of debugging and test in a dependable distributed system.