Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design

Colley, John (2012) Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design. [Teaching Resource] (Unpublished)

Preview

PDF
5Mb

Item Type:	Teaching Resource
Additional Information:	Presented at FDL 2012, Vienna
Subjects:	ADVANCE Project Training
ID Code:	457
Deposited By:	Michael Butler
Deposited On:	09 Oct 2012 16:18
Last Modified:	18 Feb 2013 14:58

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.

Industrial deployment of system engineering methods providing high dependability and productivity

NAVIGATION

Tutorial: a Practical Introduction to using Event-B for Complex �Hardware and Embedded System Specification and Design