A Methodology of Model-Based Testing for AADL Flow Latency in CPS

Yufeng Zhu, Yunwei Dong, Chunyan Ma, Fan Zhang. A Methodology of Model-Based Testing for AADL Flow Latency in CPS. In Fifth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2011, 27-29 June, 2011, Jeju Island, Korea - Companion Volume. pages 99-105, IEEE, 2011. [doi]

Authors

Yufeng Zhu

This author has not been identified. Look up 'Yufeng Zhu' in Google

Yunwei Dong

This author has not been identified. Look up 'Yunwei Dong' in Google

Chunyan Ma

This author has not been identified. Look up 'Chunyan Ma' in Google

Fan Zhang

This author has not been identified. Look up 'Fan Zhang' in Google