TGG-based process for automating the transformation of UML models towards B specifications

Seidali Rehab, Allaoua Chaoui. TGG-based process for automating the transformation of UML models towards B specifications. IJCAET, 7(3):378-400, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.