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
3828Kb

Abstract

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 1.2.9.201008190448.

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 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