Course content and objectives
Introduction Boolean differential algebra Decision diagrams Fault modelling Test generation Fault simulation Fault diagnosis References
References