A formal development approach of control systems using the event based B approch, Case study : A parcel sorting device - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2006

A formal development approach of control systems using the event based B approch, Case study : A parcel sorting device

No file

Dates and versions

inria-00000801 , version 1 (20-11-2005)

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⟩
50 View
0 Download

Share

Gmail Facebook X LinkedIn More