A Specification-Based Approach to Model Checking Event-Driven Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nhat-Hoa Tran. A Specification-Based Approach to Model Checking Event-Driven Systems. In Proceedings of the Tenth International Symposium on Information and Communication Technology, Ha Noi, Ha Long Bay, Vietnam, December 4-6, 2019. pages 449-456, ACM, 2019. [doi]

This author has not been identified. Look up 'Nhat-Hoa Tran' in Google

runs on WebDSL