Industrial deployment of system engineering methods providing high dependability and productivity

Introduction

Abrial, Jean-Raymond Introduction. [Teaching Resource] (Unpublished)

[img]

Preview

PDF (Slides for Chapter 1 of the Event-B Book by Jean-Raymond Abrial) - Presentation
593Kb

Item Type:	Teaching Resource
Subjects:	Training > Event-B
ID Code:	111
Deposited By:	Thai Son Hoang
Deposited On:	19 Jun 2009 16:35
Last Modified:	19 Apr 2010 16:05

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.

Deploy-Project - All right reserved