creators_name: Ilic, Dubravka
creators_name: Varpaaniemi, Kimmo
type: rodin_archive
datestamp: 2009-07-14 17:21:23
lastmod: 2010-04-19 15:05:56
metadata_visibility: show
title: Event-B Project BepiColombo_Models_v5.0
subjects: deploy_industrial_space
subjects: deploy_industrial
full_text_status: public
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.
date: 2009-05-03
date_type: completed
institution: SSF
related_url_url: http://deploy-eprints.ecs.soton.ac.uk/73/
related_url_url: http://deploy-eprints.ecs.soton.ac.uk/77/
citation:   Ilic, Dubravka and Varpaaniemi, Kimmo  (2009) Event-B Project BepiColombo_Models_v5.0.  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/136/1/BepiColombo_Models_v5.0.zip

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>