Art der Publikation: Beitrag in Zeitschrift

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

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

Titel der Zeitschrift:

Comput. Ind.

Veröffentlichung:

2023

Heftnummer:

151

Digital Object Identifier (DOI):

doi:10.1016/j.compind.2023.103974

Zitation:

Download BibTeX