Industrial deployment of system engineering methods providing high dependability and productivity


Event-B Project DepSatSpec015Model000

Varpaaniemi, Kimmo (2010) Event-B Project DepSatSpec015Model000. [Rodin Archive]

[img]ZIP Archive


An Event-B model of "DEPLOY Satellite (an Attitude and Orbit Control System) Specification, Version 15" ( 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

Deploy-Project - All right reserved