Evaluating and Balancing Reliability and Performance Properties of Software Architecture Using Formal Modeling Techniques.

Jianli Xu

Browse the full SEW paper archive.