System Validation – An Introduction

Course subject(s) 1. System Validation – An Introduction

This is the first lecture and is intended to introduce the course System Validation. The outline of the course is organizational matters and formal modeling veri cation.

Unfortenately the first lecture has not been recorded!

Creative Commons License
System Validation by TU Delft OpenCourseWare is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Based on a work at https://ocw.tudelft.nl/courses/system-validation/.
Back to top