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

Inna Vistbakka, Elena Troubitsyna

Information Technology

Tutkimustuotos: Artikkeli kirjassa/raportissa/konferenssijulkaisussa › Konferenssiartikkeli › Tieteellinen › vertaisarvioitu

10 Sitaatiot (Scopus)

1 tulosta

Suodatin

Päättynyt

LARA: Learning and Assessing Risks for Enhancing Dependability of Autonomous Socio- Technical Systems
Troubitsyna, E., Vistbakka, I. & Majd, A.
01/01/18 → 31/12/19
Projekti: Research Council of Finland/Other Research Councils