Towards a Formal Approach to Analysing Security of Safety-Critical Systems

Julkaisussa: 14th European Dependable Computing Conference, EDCC 2018, Romania, September 10-14, 2018
Tekijät: Inna Vistbakka; Elena Troubitsyna
Tekijöiden määrä: 2
Julkaisutyyppi: A4 Artikkeli konferenssijulkaisussa
Julkaisuvuosi: 2018
Emojulkaisun nimi: 14th European Dependable Computing Conference, EDCC 2018, Romania, September 10-14, 2018
Sivunumerot: 182 - 189
Tieteenala: Luonnontieteet
Tietojenkäsittely ja informaatiotieteet
Paikalliset tekijät ja heidän affiliaationsa: Troubitsyna, Elena - Åbo Akademi, IT gemensamma
Vistbakka, Inna - Åbo Akademi, IT gemensamma
Sarja: 14th European Dependable Computing Conference, EDCC 2018, Romania, September 10-14, 2018
Aiheet:
Linkit: https://dx.doi.org/10.1109/EDCC.2018.00040
Organisaation sisäinen affiliaatio: Åbo Akademi, IT gemensamma