Industrial deployment of system engineering methods providing high dependability and productivity

 

Formal development and assessment of a reconfigurable on-board satellite system

Tarasyuk, Anton and Pereverzeva, Inna and Troubitsyna, Elena and Latvala, Timo and Nummila, Laura (2012) Formal development and assessment of a reconfigurable on-board satellite system. In: The 31th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012), Magdeburg, Germany. (In Press)

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
Subjects:Methodology > Refinement
Industrial Deployment > Space
Methodology > Proof and model checking
Methodology > Resilience
Event-B > Event-B Examples
Event-B > Event-B Theory
ID Code:411
Deposited By: Mr. Linas Laibinis
Deposited On:29 Jun 2012 07:55
Last Modified:29 Jun 2012 07:55

Repository Staff Only: item control page

Deploy-Project - All right reserved