欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
著作
> 著作详情页
Formal Methods in Manufacturing Systems: Recent Advances
所属机构名称:西安电子科技大学
时间:2013.4.4
成果类型:著作
出版社:IGI Global
相关项目:自动制造系统死锁控制性能分析与优化
作者:
Li ZhiWu|Al-Ahmari Abdulrahman M.|
同著作项目
自动制造系统死锁控制性能分析与优化
期刊论文 36
会议论文 10
著作 2
同项目著作
Optimal Supervisory Control of Automated Manufacturing Systems