Difference between revisions of "MACS PSI 2015"
From CERES
| Line 15: | Line 15: | ||
|| [[media:MACS_PSI_HML_1.pdf| HML - Slides Part I]] | || [[media:MACS_PSI_HML_1.pdf| HML - Slides Part I]] | ||
| − | [[media:MACS_PSI_HML_2.pdf| | + | [[media:MACS_PSI_HML_2.pdf| HML - Slides Part II]] |
[[media:MACS_PSI_HML_3.pdf| HML - Slides Part III]] | [[media:MACS_PSI_HML_3.pdf| HML - Slides Part III]] | ||
Revision as of 11:54, 24 August 2015
| Lecture | Handouts / Slides | Other Material |
|---|---|---|
| Lecture 1: Introduction | Introduction - Slides | |
| Lecture 2: Actions, Behavior, Abstraction | Behavioral Modeling - Slides | |
| Lecture 3: Hennessy Milner Logic | HML - Slides Part I |
