INTEGRATING UML 2.0 ACTIVITY DIAGRAMS AND PI-CALCULUS FOR MODELING AND VERIFICATION OF SOFTWARE SYSTEMS USING TGG

by Raida Elmansouri, Said Meghzili, Allaoua Chaoui, Aissam Belghiat, Omar Hedjazi
Published 2020-12-01