External Links

Cite Key

Statistics

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

PDF

Tags

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.

An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER

Leila Jemni Ben Ayed, Mohamed Nidhal Jelassi. An Automatic Transformation of Event B Models into UML using an Interactive Inference Engine THINKER. In Daniel Moldt, Juan Carlos Augusto, Ulrich Ultes-Nitsche, editors, Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with . pages 119-124, INSTICC PRESS, 2009.

Authors

Leila Jemni Ben Ayed

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

Mohamed Nidhal Jelassi

This author has not been identified. Look up 'Mohamed Nidhal Jelassi' in Google
runs on