Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rongjie Yan, Di Zhu, Fan Zhang, Yiqi Lv, Junjie Yang, Kai Huang. Resource-Aware Design for Reliable Autonomous Applications with Multiple Periods. In Klaus Havelund, Jan Peleska 0001, Bill Roscoe, Erik P. de Vink, editors, Formal Methods - 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings. Volume 10951 of Lecture Notes in Computer Science, pages 294-311, Springer, 2018. [doi]

This author has not been identified. Look up 'Rongjie Yan' in GoogleThis author has not been identified. Look up 'Di Zhu' in GoogleThis author has not been identified. Look up 'Fan Zhang' in GoogleThis author has not been identified. Look up 'Yiqi Lv' in GoogleThis author has not been identified. Look up 'Junjie Yang' in GoogleThis author has not been identified. Look up 'Kai Huang' in Google

runs on WebDSL