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 |