Ilic, Dubravka and Varpaaniemi, Kimmo (2009) Event-B Project BepiColombo_Models_v5.0. [Rodin Archive]
![[img]](../style/images/fileicons/application_zip.png) | 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
