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
| Autor: | de Kinderen, Sybren, Ma, Qin, Kaczmarek-Heß, Monika |
|---|---|
| Zdroj: | In Computers in Industry October 2023 151 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect