The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation.

Ana-Elena Rugina, Karama Kanoun, Mohamed Kaniche

Browse the full EDCC paper archive.