On the formal verification of routing in material handling systems
On the formal verification of routing in material handling systems
复制标题
物料搬运系统中路径的形式化验证
DOI：
10.1109/coase.2012.6386358
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Schönherr
中科院分区：
文献类型：
--
作者：
Seßler;Straube;Fordran;Turek ;Schönherr
登录
查看更多内容
DOI：
10.1109/indin.2011.6034876
发表时间：
2011
期刊：
2011 9th IEEE International Conference on Industrial Informatics
影响因子：
--
作者：
Thomas Klotz;B. Straube;Eva Fordran;J. Haufe;F. Schulze;Karsten Turek;T. Schmidt
通讯作者：
T. Schmidt
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
使用 SPIN 模型检查器对自组织路由协议进行形式化验证
DOI：
10.1109/melcon.2004.1348275
发表时间：
2004
期刊：
Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE Cat. No.04CH37521)
影响因子：
--
作者：
Oskar Wibling;J. Parrow;Arnold Neville Pears
通讯作者：
Arnold Neville Pears
自组织无线网络路由协议的形式验证方法
DOI：
10.1109/glocom.2007.137
发表时间：
2007
期刊：
IEEE GLOBECOM 2007 - IEEE Global Telecommunications Conference
影响因子：
--
作者：
D. Câmara;A. Loureiro;F. Filali
通讯作者：
F. Filali