Formal Analysis of Architectural Policies of Self-Adaptive Software by Bigraph

Author(s):  
Zhiming Chang ◽  
Xinjun Mao ◽  
Zhichang Qi
2006 ◽  
pp. 507-537 ◽  
Author(s):  
Robert Laddaga ◽  
Paul Robertson ◽  
Howard Shrobe

Sign in / Sign up

Export Citation Format

Share Document