Compositional verification of material handling systems
Compositional verification of material handling systems
复制标题
物料搬运系统的成分验证
DOI：
10.1109/etfa.2012.6489595
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Schönherr
中科院分区：
文献类型：
--
作者：
Seßler;Straube;Fordran;Turek ;Schönherr
登录
查看更多内容
建立用于控制物料搬运系统的集成仿真和虚拟调试环境
DOI：
10.1109/wsc.2012.6465081
发表时间：
2012
期刊：
Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)
影响因子：
--
作者：
Stephan Seidel;U. Donath;J. Haufe
通讯作者：
J. Haufe
DOI：
10.1109/etfa.2011.6059043
发表时间：
2011
期刊：
ETFA2011
影响因子：
--
作者：
Thomas Klotz;B. Straube;Eva Fordran;J. Haufe;F. Schulze;Karsten Turek;T. Schmidt
通讯作者：
T. Schmidt
基于 Petri 网方法的物流系统建模、分析和优化
DOI：
10.1109/icsssm.2006.320526
发表时间：
2006
期刊：
2006 International Conference on Service Systems and Service Management
影响因子：
--
作者：
Haoxun Chen;Karim Labadi;Lionel Amodeo
通讯作者：
Lionel Amodeo
提高自动化软件的可靠性：形式化方法的作用？
影响因子：
4.9
作者：
T. Johnson
通讯作者：
T. Johnson
DOI：
10.1109/coase.2012.6386358
发表时间：
2012
期刊：
2012 IEEE International Conference on Automation Science and Engineering (CASE)
影响因子：
--
作者：
Seßler;Straube;Fordran;Turek ;Schönherr
通讯作者：
Schönherr