Home Courses System Validation Course materials Lectures System Validation – An Introduction

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!

Slides_System_Validation_1
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