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)


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-Project - All right reserved