Hierarchical Behavior Annex: Towards an AADL Functional Specification Extension.

Jinmiao Xu, Zhibin Yang, Zhiqiu Huang, Yong Zhou, Chengwei Liu, Lei Xue, Jean-Paul Bodeveix, Mamoun Filali

Browse the full MEMOCODE paper archive.