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]
Abstract is missing.