Industrial deployment of system engineering methods providing high dependability and productivity


Event-B Project BepiColombo_Models_v6.4

Varpaaniemi, Kimmo (2010) Event-B Project BepiColombo_Models_v6.4. [Rodin Archive]

[img]ZIP Archive


A very limited model of BepiColombo SIXS/MIXS on-board software requirements. A part of an experiment on using Rodin Platform 1.3.1 with Modularisation Plugin

Item Type:Rodin Archive
Subjects:Industrial Deployment
Industrial Deployment > Space
ID Code:244
Deposited By:Dr. Kimmo Varpaaniemi
Deposited On:23 Sep 2010 17:32
Last Modified:23 Sep 2010 17:33

Repository Staff Only: item control page

Deploy-Project - All right reserved