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.

Formal development method of control systems using the event-based B approach Case study : A parcel sorting device

Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed. Formal development method of control systems using the event-based B approach Case study : A parcel sorting device. In 2006 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2006), March 8-11, Dubai/Sharjah, UAE. pages 834-841, IEEE, 2006. [doi]

Authors

Olfa Mosbahi

This author has not been identified. Look up 'Olfa Mosbahi' in Google

Jacques Jaray

This author has not been identified. Look up 'Jacques Jaray' in Google

Leila Jemni Ben Ayed

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