Leveraging the power of formal methods in the realm of enterprise modeling - On the example of extending the (meta) model verification possibilities of ADOxx with Alloy - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sybren de Kinderen, Qin Ma 0002, Monika Kaczmarek-Heß. Leveraging the power of formal methods in the realm of enterprise modeling - On the example of extending the (meta) model verification possibilities of ADOxx with Alloy. Computers in Industry, 151:103974, October 2023. [doi]

This author has not been identified. Look up 'Sybren de Kinderen' in GoogleThis author has not been identified. Look up 'Qin Ma 0002' in GoogleThis author has not been identified. Look up 'Monika Kaczmarek-Heß' in Google

runs on WebDSL