Formal analysis of policy-based self-adaptive systems

Narges Khakpour, Ramtin Khosravi, Marjan Sirjani, Saeed Jalili. Formal analysis of policy-based self-adaptive systems. In Sung Y. Shin, Sascha Ossowski, Michael Schumacher, Mathew J. Palakal, Chih-Cheng Hung, editors, Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010. pages 2536-2543, ACM, 2010. [doi]

Authors

Narges Khakpour

This author has not been identified. Look up 'Narges Khakpour' in Google

Ramtin Khosravi

This author has not been identified. Look up 'Ramtin Khosravi' in Google

Marjan Sirjani

This author has not been identified. It may be one of the following persons: Look up 'Marjan Sirjani' in Google

Saeed Jalili

This author has not been identified. Look up 'Saeed Jalili' in Google