Difference between revisions of "MACS PSI 2015"
From CERES
| Line 47: | Line 47: | ||
[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_pdhhy802 Sequential Processes - Video Part II] | [https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_pdhhy802 Sequential Processes - Video Part II] | ||
|} | |} | ||
| + | |||
| + | [http://ocw.tudelft.nl/courses/computerscience/systemvalidation/course-home/ System Validation at Delft Opencourseware] | ||
Revision as of 11:05, 24 August 2015
| Lecture | Handouts / Slides | Other Material |
|---|---|---|
| Lecture 1: Introduction | Introduction - Slides | |
| Lecture 2: Actions, Behavior, Abstraction | Behavioral Modeling - Slides | |
| Lecture 3: Behavioral Equivalences | Equivalences - Slides Part I | |
| Lecture 3: Hennessy Milner Logic | HML - Slides Part I | |
| Lecture 4: Sequential Processes | Sequential Processes - Slides Part I |
