中山大学论坛

标题: 找人：懂nusmv的童鞋请帮助我；或者谁认识张治国教授组的张军林学长 [打印本页]

作者: ahahabingo 时间: 2016-8-2 15:59
标题: 找人：懂nusmv的童鞋请帮助我；或者谁认识张治国教授组的张军林学长
本人现在在研究xSAP,了解到是由nusmv扩展来的，现在遇到一些使用问题，不知道如何解决，谁懂nusmv，或者谁使用过啊？急求解答
看到一篇论文《NuSMV模型验证器实现分析》是由张治国教授组的张军林学长写的,但是学长2010年已经毕业，谁认识啊，有联系方式么？或者张教授组的其他用过这个工具的同学可否提供一些帮助？蟹蟹

欢迎光临中山大学论坛 (http://zsu.myubbs.com/)