Login / Signup
TGG-based process for automating the transformation of UML models towards B specifications.
Seidali Rehab
Allaoua Chaoui
Published in:
Int. J. Comput. Aided Eng. Technol. (2015)
Keyphrases
</>
process model
object oriented
uml models
image data
written in natural language