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