%0 Conference Proceedings
%F yang:2011
%A Yang, Zhibin
%A Bodeveix, Jean-Paul
%A Pi, Lei
%A Ma, D.
%A Talpin, Jean-Pierre
%T {Two formal semantics for a subset of the AADL}
%B {UML&AADL workshop at the IEEE International Conference on Engineering of Complex Computer Systems}
%D 2011