Space Sector Sample Clauses

Space Sector. The mini-pilot from Space System Finland (SSF) is a part of the full pilot about the BepiColombo (BC). The mini-pilot concerns with the MIXS/SIXS on-board instrument software. The description can be found in Chapter 4 of the deliverable JD1 [ABB+09]. There are different models of the mini-pilot and the pilot available. • The model of the mini-pilot from SSF [IV08b]. The UML-B model of the mini-pilot from University of Southamp- ton [But08]. • The Event-B model of the mini-pilot from University of Newcastle [Ill08]. • The Event-B model of the mini-pilot from Aabo Akademi [LT08]. • Model of the pilot (BepiColombo) from SSF [IV08a]. Model of the pilot (BepiColombo) from University of Newcastle and Aabo Akademi [LTIR08, Lai08].