Conference Papers
Year : 2006
Mohamed Khalgui : Connect in order to contact the contributor
https://inria.hal.science/inria-00000801
Submitted on : Sunday, November 20, 2005-10:50:27 AM
Last modification on : Friday, March 24, 2023-2:52:47 PM
Dates and versions
Identifiers
- HAL Id : inria-00000801 , version 1
Cite
Olfa Mosbahi, Jacques Jaray, Leila Jemni Ben Ayed. A formal development approach of control systems using the event based B approch, Case study : A parcel sorting device. The 4th ACS/IEEE International Conference on Computer Systems and Applications - AICCSA'2006, Mar 2006, Dubai/Sharjah, UAE. ⟨inria-00000801⟩
Collections
50
View
0
Download