Deriving and Formalising Safety and Security Requirements for Control Systems.

Elena Troubitsyna, Inna Vistbakka

Browse the full SAFECOMP paper archive.