This site has been permanently archived. This is a static copy provided by the University of Southampton.

Industrial deployment of system engineering methods providing high dependability and productivity
 

Develpoment of the Floodset algorithm

Bryans, Jeremy W. Develpoment of the Floodset algorithm. [Rodin Archive]

[img]ZIP Archive (Floodset development (on Rodin 1.3.1) asssociated with archive number #285)
1011Kb

Abstract

Associated with and described in archive number 285

Item Type:Rodin Archive
Subjects:Methodology > Refinement
Training > Event-B
Event-B > Event-B Examples
ID Code:286
Deposited By:Dr Jeremy Bryans
Deposited On:16 Feb 2011 14:27
Last Modified:16 Feb 2011 14:27

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