The SPIN Model Checker 在PLC领域是什么东西，谁知道说一声啊，要是谁有这方面的资料也可以和我联系一下啊、QQ185438258  邮箱hujunjie1983@yahoo.com.cn
还有一个小问题Verification and Optimization of a PLC Control Schedule该怎么翻译啊？
急切等待，先谢谢各位了！！！

怎么没人回啊，急切等待中！

谁知道啊，帮帮小弟！