Varpaaniemi, Kimmo (2010) Event-B Project DepSatSpec015Model000. [Rodin Archive]
![[img]](../style/images/fileicons/application_zip.png) | ZIP Archive 6Mb |
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.
| Item Type: | Rodin Archive |
|---|---|
| Subjects: | Industrial Deployment Industrial Deployment > Space |
| ID Code: | 168 |
| Deposited By: | Dr. Kimmo Varpaaniemi |
| Deposited On: | 03 Jan 2010 13:18 |
| Last Modified: | 19 Apr 2010 16:05 |
Repository Staff Only: item control page
