DocumentCode :
2202304
Title :
Deadlock prevention for FMS
Author :
XuGang ; Wu, ZhiMing
Author_Institution :
ShangHai Jiaotong university
Volume :
2
fYear :
2003
fDate :
June 4-6, 2003
Firstpage :
1696
Lastpage :
1701
Keywords :
Automatic control; Buildings; Concurrent computing; Control systems; Discrete event systems; Flexible manufacturing systems; Formal verification; Logic; Resource management; System recovery;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
American Control Conference, 2003. Proceedings of the 2003
ISSN :
0743-1619
Print_ISBN :
0-7803-7896-2
Type :
conf
DOI :
10.1109/ACC.2003.1239838
Filename :
1239838
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2202304
بازگشت