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.

Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles

Ikbel Krichen, Imen Loulou, Ahmed Hadj Kacem. Formal Modeling of Behavioral Properties to Support Correct by Design Publish/Subscribe Architectural Styles. In María José Escalona Cuaresma, Boris Shishkov, José Cordeiro, editors, ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Data Technologies, Volume 2, Seville, Spain, 18-21 July, 2011. pages 286-289, SciTePress, 2011.

Authors

Ikbel Krichen

This author has not been identified. Look up 'Ikbel Krichen' in Google

Imen Loulou

This author has not been identified. Look up 'Imen Loulou' in Google

Ahmed Hadj Kacem

This author has not been identified. Look up 'Ahmed Hadj Kacem' in Google
runs on