Iliasov, Alexei and Laibinis, Linas and Troubitsyna, Elena (2010) An Event-B model of the Attitude and Orbit Control System. [Rodin Archive]
ZIP Archive 239Kb |
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