Industrial deployment of system engineering methods providing high dependability and productivity

 

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]

[img]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

Deploy-Project - All right reserved