Formal Verification of GP Specification based Embedded Operating System - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Haiyong Sun, Hang Lei, Lei Qiao, Zheng Yang 0007. Formal Verification of GP Specification based Embedded Operating System. In Ali Emrouznejad, Zhihong Qian, editors, The 2nd International Conference on Computer Science and Application Engineering, CSAE 2018, Hohhot, China, October 22-24, 2018. ACM, 2018. [doi]

This author has not been identified. Look up 'Haiyong Sun' in GoogleThis author has not been identified. Look up 'Hang Lei' in GoogleThis author has not been identified. Look up 'Lei Qiao' in GoogleThis author has not been identified. Look up 'Zheng Yang 0007' in Google

runs on WebDSL