PAT approach to Architecture Behavioural Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nacha Chondamrongkul, Jing Sun 0002, Ian Warren. PAT approach to Architecture Behavioural Verification. In Angelo Perkusich, editor, The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019. pages 187-252, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019. [doi]

This author has not been identified. Look up 'Nacha Chondamrongkul' in GoogleThis author has not been identified. Look up 'Jing Sun 0002' in GoogleThis author has not been identified. Look up 'Ian Warren' in Google

runs on WebDSL