An Event-B model of the Attitude and Orbit Control System

Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena (2010) An Event-B model of the Attitude and Orbit Control System. [Rodin Archive]

Item Type:	Rodin Archive
Subjects:	Event-B Methodology > Refinement Methodology > Composition and reuse Methodology > Resilience Tool developments > Model construction
ID Code:	213
Deposited By:	Prof A Romanovsky
Deposited On:	22 Mar 2010 10:47
Last Modified:	19 Apr 2010 16:06

Repository Staff Only: item control page

Deploy Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.