sign in
sign up
<<
From AADL to Timed Abstract State Machine: a Certified Model Transformation