Gast ::
A Compositional Semantics for Repairable BDMPs
; ;
In
Computer safety, reliability, and security : 39th international conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings / António Casimiro, Frank Ortmeier, Friedemann Bitsch, Pedro Ferreira (Eds.), Seiten/Artikel-Nr: 82-98
2020
Online
DOI: 10.1007/978-3-030-54549-9_6
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Thematische Einordnung (Klassifikation)
DDC: 004.6
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-85090094909
WOS Core Collection: WOS:001333162000006
OpenAlex: W3081074253
Interne Identnummern
RWTH-2021-02252
Datensatz-ID: 814601
Beteiligte Länder
France, Germany
Nationallizenz
; SCOPUS
|
The record appears in these collections: |