Towards a Formal Approach to Analysing Security of Safety-Critical Systems
Julkaisuvuosi
2018
Tekijät
Inna Vistbakka; Elena Troubitsyna
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti
14th European Dependable Computing Conference, EDCC 2018, Romania, September 10-14, 2018
Emojulkaisun nimi
14th European Dependable Computing Conference, EDCC 2018, Romania, September 10-14, 2018
Konferenssi
European Dependable Computing Conference, EDCC
Sivut
182–189
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kansainvälinen
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1109/EDCC.2018.00040
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä