External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams

Aissam Belghiat, Allaoua Chaoui. A Pi-calculus-based Approach for the Verification of UML2 Sequence Diagrams. In Pascal Lorenz, Marten van Sinderen, Jorge Cardoso, editors, ICSOFT-PT 2015 - Proceedings of the 10th International Conference on Software Paradigm Trends, Colmar, Alsace, France, 20-22 July, 2015. pages 87-94, SciTePress, 2015. [doi]

Authors

Aissam Belghiat

This author has not been identified. Look up 'Aissam Belghiat' in Google

Allaoua Chaoui

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