Towards Security-Explicit Formal Modelling of Safety-Critical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Elena Troubitsyna, Linas Laibinis, Inna Pereverzeva, Tuomas Kuismin, Dubravka Ilic, Timo Latvala. Towards Security-Explicit Formal Modelling of Safety-Critical Systems. In Amund Skavhaug, Jérémie Guiochet, Friedemann Bitsch, editors, Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings. Volume 9922 of Lecture Notes in Computer Science, pages 213-225, Springer, 2016. [doi]

This author has not been identified. Look up 'Elena Troubitsyna' in GoogleThis author has not been identified. Look up 'Linas Laibinis' in GoogleThis author has not been identified. Look up 'Inna Pereverzeva' in GoogleThis author has not been identified. Look up 'Tuomas Kuismin' in GoogleThis author has not been identified. Look up 'Dubravka Ilic' in GoogleThis author has not been identified. Look up 'Timo Latvala' in Google

runs on WebDSL