undefined

< Tillbaka till sökresultaten

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

Publiceringsår

2018

Upphovspersoner

Inna Vistbakka; Elena Troubitsyna

Organisationer och upphovspersoner

Åbo Akademi

Troubitsyna Elena

Vistbakka Inna

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Journal

14th European Dependable Computing Conference, EDCC 2018, Romania, September 10-14, 2018

Moderpublikationens namn

14th European Dependable Computing Conference, EDCC 2018, Romania, September 10-14, 2018

Konferens

European Dependable Computing Conference, EDCC

Sidor

182–189

ISBN

978-1-5386-8061-2

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Nej

Parallellsparad

Nej

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

Förlagets internationalitet

Internationell

Internationell sampublikation

Ja

Sampublikation med ett företag

Nej

DOI

10.1109/EDCC.2018.00040

Publikationen ingår i undervisnings- och kulturministeriets datainsamling

Ja