"AADL-Based Safety Analysis Approaches for Safety-Critical Systems."

Xiaomin Wei (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics