Industrial deployment of system engineering methods providing high dependability and productivity


A Club Management System

Hoang, Thai Son A Club Management System. [Rodin Archive]

[img] ZIP Archive (A Club Management)

Item Type:Rodin Archive
Subjects:Training > Event-B
Training > Rodin tool
Event-B > Event-B Examples
ID Code:371
Deposited By: Thai Son Hoang
Deposited On:20 Feb 2012 11:14
Last Modified:20 Feb 2012 11:14

Repository Staff Only: item control page

Deploy-Project - All right reserved