Gast ::
Synthesizing and optimizing FDIR recovery strategies from fault trees
; ; ;
In
Formal Techniques for Safety-Critical Systems 2018 / Edited by Peter Ölveczky, Cyrille Artho
In
Science of computer programming 196, Seiten/Artikel-Nr.:102478
2020
Online
DOI: 10.1016/j.scico.2020.102478
DOI: 10.18154/RWTH-2020-08759
URL: https://publications.rwth-aachen.de/record/796082/files/796082.pdf
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004
OpenAccess: 
PDF
Dokumenttyp
Journal Article/Contribution to a book
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85084477584
WOS Core Collection: WOS:000540668900003
Interne Identnummern
RWTH-2020-08759
Datensatz-ID: 796082
Beteiligte Länder
Germany
Related:
Contribution to a book/Contribution to a conference proceedings
Synthesizing and Optimizing FDIR Recovery Strategies from Fault Trees
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
6. International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS, Gold CoastGold Coast, Australia, 16 Nov 2018 - 16 Nov 2018
Cham, Switzerland : Springer, Communications in computer and information science 1008, 37-54 (2019) [10.1007/978-3-030-12988-0_3]
BibTeX |
EndNote:
XML,
Text |
RIS
; 
; 
; Clarivate Analytics Master Journal List ; Current Contents - Engineering, Computing and Technology ; Ebsco Academic Search ; Essential Science Indicators ; IF < 5 ; JCR ; Nationallizenz
; SCOPUS ; Science Citation Index Expanded ; Web of Science Core Collection
|
The record appears in these collections: |
PDF