您现在所在的是:

PLC论坛

回帖:2个,阅读:747 [上一页] [1] [下一页]
913
短笛野鹤
文章数:5
年度积分:50
历史总积分:913
注册时间:2006/5/10
发站内信
发表于:2006/5/11 21:35:00
#0楼
The SPIN Model Checker 在PLC领域是什么东西,谁知道说一声啊,要是谁有这方面的资料也可以和我联系一下啊、QQ185438258  邮箱hujunjie1983@yahoo.com.cn


还有一个小问题Verification and Optimization of a PLC Control Schedule该怎么翻译啊?

急切等待,先谢谢各位了!!!
913
短笛野鹤
文章数:5
年度积分:50
历史总积分:913
注册时间:2006/5/10
发站内信
发表于:2006/5/11 22:32:00
#1楼
怎么没人回啊,急切等待中!
913
短笛野鹤
文章数:5
年度积分:50
历史总积分:913
注册时间:2006/5/10
发站内信
发表于:2006/5/12 10:12:00
#2楼
谁知道啊,帮帮小弟!

关于我们 | 联系我们 | 广告服务 | 本站动态 | 友情链接 | 法律声明 | 非法和不良信息举报

工控网客服热线:0755-86369299
版权所有 工控网 Copyright©2024 Gkong.com, All Rights Reserved

46.8003