TY  - CONF
ID  - deploy406
UR  - http://deploy-eprints.ecs.soton.ac.uk/406/
A1  - Prokhorova, Yuliya
A1  - Troubitsyna, Elena
A1  - Laibinis, Linas
A1  - Varpaaniemi, Kimmo
A1  - Latvala, Timo
Y1  - 2011///
TI  - Deriving Mode Logic for Fault-Tolerant Control Systems
SP  - 309
M2  - Copenhagen, Denmark
EP  - 322
AV  - none
T2  - NODES Workshop (associated with the 5th IFIP International Conference on Trust Management (IFIPTM 2011))
ER  -

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>