Type of Publication: Article in Journal

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(s):

de Kinderen, Sybren; Ma, Qin; Kaczmarek-Heß, Monika

Title of Journal:

Comput. Ind.

Publication Date:

2023

Number of Issue:

151

Digital Object Identifier (DOI):

doi:10.1016/j.compind.2023.103974

Citation:

Download BibTeX