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]
@article{KinderenMK23,
title = {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},
author = {Sybren de Kinderen and Qin Ma 0002 and Monika Kaczmarek-Heß},
year = {2023},
month = {October},
doi = {10.1016/j.compind.2023.103974},
url = {https://doi.org/10.1016/j.compind.2023.103974},
researchr = {https://researchr.org/publication/KinderenMK23},
cites = {0},
citedby = {0},
journal = {Computers in Industry},
volume = {151},
pages = {103974},
}