Ilic, Dubravka and Varpaaniemi, Kimmo (2009) Event-B Project BepiColombo_Models_v5.0. [Rodin Archive]
ZIP Archive (Event-B project BepiColombo_Models_v5.0) 15Mb |
Abstract
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