Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA

Yue Ma, Jean-Pierre Talpin, Thierry Gautier. Interpretation of AADL Behavior Annex into Synchronous Formalism Using SSA. In 10th IEEE International Conference on Computer and Information Technology, CIT 2010, Bradford, West Yorkshire, UK, June 29-July 1, 2010. pages 2361-2366, IEEE Computer Society, 2010. [doi]

Authors

Yue Ma

This author has not been identified. Look up 'Yue Ma' in Google

Jean-Pierre Talpin

This author has not been identified. Look up 'Jean-Pierre Talpin' in Google

Thierry Gautier

This author has not been identified. Look up 'Thierry Gautier' in Google