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 Informatique et en Automatique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

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

Domaines

Bibliothèque électronique [cs.DL]

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

Fichier non déposé

Dates et versions

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

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA
50 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More