Formal specification at model-level of model-driven engineering using modelling techniques

H. K. Jnanamurthy, Frans Henskens, David J. Paul, Mark Wallis. Formal specification at model-level of model-driven engineering using modelling techniques. IJCAT, 67(4):340-350, 2021. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.