Difference between revisions of "MACS PSI 2015"

Revision as of 10:54, 24 August 2015

Lecture	Handouts / Slides	Other Material
Lecture 1: Introduction	Introduction - Slides	Introduction - Video
Lecture 2: Actions, Behavior, Abstraction	Behavioral Modeling - Slides	Behavioral Modeling - Video
Lecture 3: Hennessy Milner Logic	HML - Slides Part I Hennessy Milner Logic - Slides Part II HML - Slides Part III \|\| HML - Video Part I HML - Video Part II

Revision as of 10:54, 24 August 2015 (view source) Ceres (Talk \| contribs) ← Older edit		Revision as of 10:54, 24 August 2015 (view source) Ceres (Talk \| contribs) Newer edit →
Line 18:		Line 18:

	[[media:MACS_PSI_HML_3.pdf\| HML - Slides Part III]] \|\|		[[media:MACS_PSI_HML_3.pdf\| HML - Slides Part III]] \|\|
		+
	[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_110edzxc HML - Video Part I]		[https://www.kaltura.com/index.php/extwidget/openGraph/wid/0_110edzxc HML - Video Part I]