Industrial deployment of system engineering methods providing high dependability and productivity


Event-B Project BepiColombo_Models_v5.0

Ilic, Dubravka and Varpaaniemi, Kimmo (2009) Event-B Project BepiColombo_Models_v5.0. [Rodin Archive]

[img]ZIP Archive (Event-B project BepiColombo_Models_v5.0)


A model of BepiColombo SIXS (Solar Intensity X-ray Spectrometer) / MIXS (Mercury Imaging X-ray Spectrometer) OBSW (On-Board SoftWare) requirements. An improvement with respect to all older WP3 pilot models.

Item Type:Rodin Archive
Subjects:Industrial Deployment > Space
Industrial Deployment
ID Code:136
Deposited By:Dr. Kimmo Varpaaniemi
Deposited On:14 Jul 2009 18:21
Last Modified:19 Apr 2010 16:05

Repository Staff Only: item control page

Deploy-Project - All right reserved