Fast Parametric Model Checking through Model Fragmentation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xinwei Fang, Radu Calinescu, Simos Gerasimou, Faisal Alhwikem. Fast Parametric Model Checking through Model Fragmentation. In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021. pages 835-846, IEEE, 2021. [doi]

This author has not been identified. It may be one of the following persons:

Xinwei Fang

Look up 'Xinwei Fang' in GoogleThis author has not been identified. It may be one of the following persons:

Radu Calinescu

Look up 'Radu Calinescu' in GoogleThis author has not been identified. Look up 'Simos Gerasimou' in GoogleThis author has not been identified. Look up 'Faisal Alhwikem' in Google

runs on WebDSL