Communication Dans Un Congrès
Année : 2006
Mohamed Khalgui : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00000801
Soumis le : dimanche 20 novembre 2005-10:50:27
Dernière modification le : vendredi 24 mars 2023-14:52:47
Dates et versions
Identifiants
- HAL Id : inria-00000801 , version 1
Citer
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
52
Consultations
0
Téléchargements