Pattern-Based Methods for Model-Based Safety-Critical Software Architecture Design: A PhD Thesis Proposal.

Maged Khalil

Software Engineering (Workshops), pp. 493–499

2013