creators_name: Varpaaniemi, Kimmo
type: rodin_archive
datestamp: 2010-01-03 13:18:28
lastmod: 2010-04-19 15:05:59
metadata_visibility: show
title: Event-B Project DepSatSpec015Model000
subjects: deploy_industrial
subjects: deploy_industrial_space
full_text_status: public
abstract: An Event-B model of "DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15" (http://deploy-eprints.ecs.soton.ac.uk/167/). This model is complete with respect to events but has only a few of the invariants discounted in the source code.
date: 2010-01-03
date_type: completed
institution: Space Systems Finland Ltd.
citation:   Varpaaniemi, Kimmo  (2010) Event-B Project DepSatSpec015Model000.  [Rodin Archive]     
document_url: http://deploy-eprints.ecs.soton.ac.uk/168/1/DepSatSpec015Model000.zip

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