DocumentCode
1651855
Title
Formal development method of control systems using the event-based B approach Case study : A parcel sorting device
Author
Mosbahi, Olfa ; Jaray, Jacques ; Ayed, L.J.B.
fYear
2006
fDate
3/8/2006 12:00:00 AM
Firstpage
834
Lastpage
841
Keywords
Automatic control; Computer aided software engineering; Control system synthesis; Control systems; Control theory; Controllability; Set theory; Software design; Software systems; Sorting;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Systems and Applications, 2006. IEEE International Conference on.
Print_ISBN
1-4244-0211-5
Type
conf
DOI
10.1109/AICCSA.2006.205186
Filename
1618451
Link To Document