Towards Security-Explicit Formal Modelling of Safety-Critical Systems.
| Autor: | Troubitsyna, Elena, Laibinis, Linas, Pereverzeva, Inna, Kuismin, Tuomas, Ilic, Dubravka, Latvala, Timo |
|---|---|
| Zdroj: | Computer Safety, Reliability & Security: 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings; 2016, p213-225, 13p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|