Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas and Varpaaniemi, Kimmo and Latvala, Timo (2011) Deriving Mode Logic for Fault-Tolerant Control Systems. In: NODES Workshop (associated with the 5th IFIP International Conference on Trust Management (IFIPTM 2011)), Copenhagen, Denmark.
Full text not available from this repository.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Event-B Methodology > Refinement Industrial Deployment > Space Methodology Methodology > Resilience |
| ID Code: | 406 |
| Deposited By: | Mr. Linas Laibinis |
| Deposited On: | 29 Jun 2012 07:54 |
| Last Modified: | 29 Jun 2012 07:54 |
Repository Staff Only: item control page
