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

researchr

You are not signed in
Sign in
Sign up

Aissam Belghiat, Allaoua Chaoui, Mourad Maouche, Mokhtar Beldjehem. Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis. In Giedre Dregvaite, Robertas Damasevicius, editors, Information and Software Technologies - 20th International Conference, ICIST 2014, Druskininkai, Lithuania, October 9-10, 2014. Proceedings. Volume 465 of Communications in Computer and Information Science, pages 236-247, Springer, 2014. [doi]

This author has not been identified. Look up 'Aissam Belghiat' in GoogleThis author has not been identified. Look up 'Allaoua Chaoui' in GoogleThis author has not been identified. Look up 'Mourad Maouche' in GoogleThis author has not been identified. Look up 'Mokhtar Beldjehem' in Google

runs on WebDSL