Safety Analysis for Architecting Safety-Critical Systems
Tekijä: | Elena Troubitsyna |
---|---|
Tekijöiden määrä: | 1 |
Kieli: |
englanti |
Julkaisutyyppi: |
A4 Artikkeli konferenssijulkaisussa |
Julkaisufoorumiluokka : | 0 |
JUFO-ID: | 79138 |
Julkaisija: | System Safety Society |
Julkaisuvuosi: |
2013 |
Sivunumerot: | 250 - 261 |
Tieteenala: |
Luonnontieteet Tietojenkäsittely ja informaatiotieteet |
Koulutusala: |
Luonnontieteellinen |
Paikalliset tekijät ja heidän affiliaationsa: |
Troubitsyna, Elena - Åbo Akademi, Datavetenskap |
Sarja: |
Proceedings of 30th International System Safety Conference |
Organisaation sisäinen affiliaatio: |
Åbo Akademi, Datavetenskap |
Samankaltaisia teoksia
-
Formalisation-Driven Development of Safety-Critical Systems
Tekijä(t): Troubitsyna, Elena, et al.
Julkaistu: (2016) -
Development of Safety-Critical Control Systems in Event-B Using FMEA
Tekijä(t): Troubitsyna, Elena, et al.
Julkaistu: (2011) -
Towards Security-Explicit Formal Modelling of Safety-Critical Systems
Tekijä(t): Troubitsyna, Elena, et al.
Julkaistu: (2016) -
Towards a Formal Approach to Analysing Security of Safety-Critical Systems
Tekijä(t): Troubitsyna, Elena, et al.
Julkaistu: (2018) -
A Refinement-Based Approach to Developing Critical Multi-Agent Systems
Tekijä(t): Troubitsyna, Elena, et al.
Julkaistu: (2013)