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.

Towards an Institutional Representation for the B Model Oriented Specification

Amine Achouri, Yousra Bendaly Hlaoui, Leila Jemni Ben Ayed. Towards an Institutional Representation for the B Model Oriented Specification. In IEEE 38th Annual Computer Software and Applications Conference, COMPSAC Workshops 2014, Vasteras, Sweden, July 21-25, 2014. pages 728-733, IEEE, 2014. [doi]

Authors

Amine Achouri

This author has not been identified. Look up 'Amine Achouri' in Google

Yousra Bendaly Hlaoui

This author has not been identified. Look up 'Yousra Bendaly Hlaoui' in Google

Leila Jemni Ben Ayed

This author has not been identified. Look up 'Leila Jemni Ben Ayed' in Google
runs on