A Formal Model Driven Approach to Dependable Software Evolution.

Feng Chen, Hongji Yang, Bing Qiao, William Cheng-Chung Chu

Browse the full COMPSAC paper archive.