Gast ::
Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees
; ; ; ;
In
2021 10th Latin-American Symposium on Dependable Computing (LADC) : proceedings : virtual conference, 22-26 November 2021 / publisher: IEEE ; general chair: Antônio Augusto Fröhlich (UFSC), publication chair: Augusto José Venâncio Neto (UFRN)
2021
Online
DOI: 10.1109/LADC53747.2021.9672579
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
- Graduiertenkolleg UnRAVeL (080060)
Dokumenttyp
Contribution to a book/Contribution to a conference proceedings
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85125342669
Interne Identnummern
RWTH-2022-01615
Datensatz-ID: 841297
Beteiligte Länder
Germany, Netherlands, Pakistan
|
The record appears in these collections: |