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

Browse the full AICCSA paper archive.