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 :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=1651855
بازگشت