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