A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study

Iliasov, Alexei A Lecture on modularisation method and plugin: Introduction and Parking Lot Case Study. [Teaching Resource] (Unpublished)

Preview

PDF
321Kb

Abstract

training material on modularisation in Event-B

Item Type:	Teaching Resource
Subjects:	Event-B Methodology > Refinement Tool developments Tool developments > Model construction Tool developments > Rodin plug-ins Training
ID Code:	227
Deposited By:	Prof A Romanovsky
Deposited On:	21 May 2010 14:00
Last Modified:	24 May 2010 08:54

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.