Boosting Fault Tree Analysis by Formal Methods
Year: 2017
Type: conference-paper
Authors: Joost-Pieter Katoen, Mariëlle Stoelinga
Institutions: RWTH Aachen University, University of Twente
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
OpenAlex ID: W2757543546