Industrial deployment of system engineering methods providing high dependability and productivity


Event-B Project SSF Mini-pilot

Iliasov, Alexei Event-B Project SSF Mini-pilot. [Rodin Archive]

[img]Other (tar.gz archive)

Item Type:Rodin Archive
Subjects:Industrial Deployment > Space
ID Code:59
Deposited By:Thai Son Hoang
Deposited On:15 Jan 2009 16:31
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved