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

Published in: Int. J. Comput. Appl. Technol. (2021)

Keyphrases