guest ::
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees
; ; ;
In
Formal techniques for safety-critical systems : 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018 : revised selected papers / Cyrille Artho, Peter Csaba Ölveczky, editors, Seiten/Artikel-Nr: 37-54
2019
Online
DOI: 10.1007/978-3-030-12988-0_3
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online, print
Sprache
English
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85084454441
Interne Identnummern
RWTH-2019-03371
Datensatz-ID: 759164
Beteiligte Länder
Germany
Related:
Journal Article/Contribution to a book
Synthesizing and optimizing FDIR recovery strategies from fault trees
Science of computer programming 196, 102478 (2020) [10.1016/j.scico.2020.102478] special issue: "Formal Techniques for Safety-Critical Systems 2018 / Edited by Peter Ölveczky, Cyrille Artho"
Files
BibTeX |
EndNote:
XML,
Text |
RIS
SCOPUS
|
The record appears in these collections: |