title: Event-B Project Modes_v2
creator: Laibinis, Linas
creator: Troubitsyna, Elena
subject: Industrial Deployment
subject: Space
description: Åbo Akademi's Event-B model of a simplified variant of "DEPLOY Satellite".
date: 2009-12-08
type: Rodin Archive
type: NonPeerReviewed
format: application/zip
identifier: http://deploy-eprints.ecs.soton.ac.uk/165/1/Abo_SSF_pilot2.zip
identifier:   Laibinis, Linas and Troubitsyna, Elena  (2009) Event-B Project Modes_v2.  [Rodin Archive]     
relation: http://deploy-eprints.ecs.soton.ac.uk/165/

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