guest ::
Boosting Fault Tree Analysis by Formal Methods
;
In
ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occassion of his 60th birthday / Joost-Pieter Katoen, Rom Langerak, Arend Rensink (eds.), Seiten/Artikel-Nr: 368-389
2017
Weitere Reihe: Springer eBook Collection : Computer Science
Online
DOI: 10.1007/978-3-319-68270-9_19
Einrichtungen
- Lehrstuhl für Informatik 2 (Softwaremodellierung und Verifikation) (121310)
- Fachgruppe Informatik (120000)
Dokumenttyp
Contribution to a book
Format
online, print
Sprache
English
Anmerkung
Peer reviewed article
Externe Identnummern
SCOPUS: SCOPUS:2-s2.0-85032698205
OpenAlex: W2757543546
Interne Identnummern
RWTH-CONV-220402
Datensatz-ID: 713581
Beteiligte Länder
Germany, Netherlands
Related:
Book
ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occassion of his 60th birthday, 10500
Cham : Springer, Lecture notes in computer science 10500, XII, 389 Seiten : Illustrationen, Diagramme (2017) [10.1007/978-3-319-68270-9]
BibTeX |
EndNote:
XML,
Text |
RIS
Book
ModelEd, TestEd, TrustEd : essays dedicated to Ed Brinksma on the occassion of his 60th birthday, 10500
Cham : Springer, Lecture notes in computer science 10500, XII, 389 Seiten : Illustrationen, Diagramme (2017) [10.1007/978-3-319-68270-9]
BibTeX |
EndNote:
XML,
Text |
RIS
|
The record appears in these collections: |