A specification with performance evaluation for probabilistic timed automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yan Ma, Zining Cao, Yang Liu. A specification with performance evaluation for probabilistic timed automata. In Tianrui Li, Luis Martínez-López, Yun Li, editors, 12th International Conference on Intelligent Systems and Knowledge Engineering, ISKE 2017, Nanjing, China, November 24-26, 2017. pages 1-8, IEEE, 2017. [doi]

This author has not been identified. Look up 'Yan Ma' in GoogleThis author has not been identified. Look up 'Zining Cao' in GoogleThis author has not been identified. Look up 'Yang Liu' in Google

runs on WebDSL