Model Checking - Software Engineering Design Theory and Practice - Armando Fox - Lecture 20 of 20 - Video-lecture

Video-lecture, Software Engineering

Description: This lecture is about Model Checking, Components of Software Engineering Design Theory and Practice. By Armando Fox, Series of lectures part 20 of 20.
Docsity is not optimized for the browser you're using. In order to have a better experience please switch to Google Chrome, Firefox, Internet Explorer 9+ or Safari! Download Google Chrome