INSE 6280/2/WW - Quality Assurance for Systems Engineering
Office hours: Wednesday, 10h00 – 12h00 or by appointment (Office: EV7.630)
Tel: 514-848-2424 Ext. 5382
You can use this web site to get lecture notes, useful links, assignments, and other useful information. It is highly advised to visit the web site regularly.
Assurance Technologies Principles and Practices: A Product, Process,
and System Safety Perspective, (2nd Edition), 2006
This book covers the main principals of assurance technologies including quality, system safety, reliability, maintainability, human engineering, logistics, software integrity, and system integration.
3) Principles of Model Checking
Formal Methods and Tools Group, University of Twente