Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook

Inna Vistbakka, Elena Troubitsyna, Tuomas Kuismin, Timo Latvala. Co-engineering Safety and Security in Industrial Control Systems: A Formal Outlook. In Alexander Romanovsky, Elena Troubitsyna, editors, Software Engineering for Resilient Systems - 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings. Volume 10479 of Lecture Notes in Computer Science, pages 96-114, Springer, 2017. [doi]

Authors

Inna Vistbakka

This author has not been identified. Look up 'Inna Vistbakka' in Google

Elena Troubitsyna

This author has not been identified. Look up 'Elena Troubitsyna' in Google

Tuomas Kuismin

This author has not been identified. Look up 'Tuomas Kuismin' in Google

Timo Latvala

This author has not been identified. Look up 'Timo Latvala' in Google