Filter your results
- 2
- 2
- 2
- 1
- 1
- 1
- 2
- 2
- 2
- 2
|
|
sorted by
|
|
Validation and Verification in Domain-Specific Modeling Method Engineering14th IFIP Working Conference on The Practice of Enterprise Modeling (PoEM), Nov 2021, Riga, Latvia. pp.119-133, ⟨10.1007/978-3-030-91279-6_9⟩
Conference papers
hal-04323856v1
|
||
|
Towards Extending the Validation Possibilities of ADOxx with Alloy13th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM 2020), Nov 2020, Riga, Latvia. pp.138-152, ⟨10.1007/978-3-030-63479-7_10⟩
Conference papers
hal-03434656v1
|