A System Dependability Modeling Framework Using AADL and GSPNs.

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaniche

Browse the full ICSE paper archive.