2009
From chi-t to $\mu$CRL: Combining Performance and Functional Analysis
Publication
Publication
Presented at the
International Conference on Engineering of Complex Computer Systems, Shanghai, China
Additional Metadata | |
---|---|
IEEE | |
International Conference on Engineering of Complex Computer Systems | |
Organisation | Software Analysis and Transformation |
Wijs, A., & Fokkink, W. (2009). From chi-t to $\mu$CRL: Combining Performance and Functional Analysis. In Proceedings of 10th Conference on Engineering of Complex Computer Systems 2005 (pp. 184–193). IEEE. |