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

Xiaomin Wei

Browse the full ICST paper archive.