Gast ::
Formal Verification of Rewriting Rules for Dynamic Fault Trees
; ; ; ;
In
Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019 : Proceedings / Peter Csaba Ölveczky, Gwen Salaün (Eds.), Seiten/Artikel-Nr: 513-531
2019
Online
DOI: 10.1007/978-3-030-30446-1_27
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Graduiertenkolleg UnRAVeL (080060)
- Fachgruppe Informatik (120000)
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-85072850025
WOS Core Collection: WOS:000716915400025
OpenAlex: W2973029119
Interne Identnummern
RWTH-2019-08238
Datensatz-ID: 766660
Beteiligte Länder
Canada, Germany
Nationallizenz
; SCOPUS
|
The record appears in these collections: |