Towards Security-Explicit Formal Modelling of Safety-Critical Systems

Julkaisussa: Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Tekijät: Elena Troubitsyna; Linas Laibinis; Inna Pereverzeva; Tuomas Kuismin; Inna Vistbakka; Timo Latvala
Tekijöiden määrä: 6
Julkaisutyyppi: A4 Artikkeli konferenssijulkaisussa
Julkaisuvuosi: 2016
Emojulkaisun nimi: Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Sivunumerot: 213 - 225
Tieteenala: Luonnontieteet
Tietojenkäsittely ja informaatiotieteet
Paikalliset tekijät ja heidän affiliaationsa: Troubitsyna, Elena - Åbo Akademi, Datavetenskap
Vistbakka, Inna - Åbo Akademi, IT gemensamma
Laibinis, Linas - Åbo Akademi, Datateknik
Sarja: Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings
Linkit: https://dx.doi.org/10.1007/978-3-319-45477-1_17
Organisaation sisäinen affiliaatio: Åbo Akademi, Datavetenskap
Åbo Akademi, IT gemensamma
Åbo Akademi, Datateknik