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]

Authors

Seidali Rehab

This author has not been identified. Look up 'Seidali Rehab' in Google

Allaoua Chaoui

This author has not been identified. Look up 'Allaoua Chaoui' in Google