Industrial deployment of system engineering methods providing high dependability and productivity


Deriving Mode Logic for Fault-Tolerant Control Systems

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)
Methodology > Refinement
Industrial Deployment > Space
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

Deploy-Project - All right reserved