TY - THES AU - Ruiz, Alejandra A3 - Espinoza, Huascar A3 - Kelly, Tim PY - 2015 UR - http://hdl.handle.net/11556/97 AB - Safety-critical systems, those whose failure could end up in loss or injuries to people or the environment, are required to go through laborious and expensive certification processes. These systems have also increased their complexity and as it has... LA - eng PB - Universidad de Deusto TI - A Harmonized Compositional Assurance Approach for Safety-Critical Systems M3 - doctoral thesis ER -