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]

Abstract

Abstract is missing.