Login / Signup

Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis.

Aissam BelghiatAllaoua ChaouiMourad MaoucheMokhtar Beldjehem
Published in: ICIST (2014)
Keyphrases