You can use my notes for didactic purposes only.
Lectures notes are licensed under a Creative
Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Lecture notes
2014.02.27 Introduction to the course pdf
2014.02.27 Fundamental of Testing pdf
2014.02.27-28 Validation and Verification pdf
2014.03.06 Basic Principles pdf
2014.03.07 Dependability Properties pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf
pdf