文件名称:XSPIN-SPIN的图形界面工具
文件大小:185KB
文件格式:TCL
更新时间:2015-11-10 15:31:59
模型检测 SPIN XSPIN 图形界面
XSPIN是用java编写的spin的图形界面,大家应该在期刊论文上经常看到这个工具吧。让检测结果以图形的形式出现,大大增强的spin的易用性。有它产生的图,论文会翔实很多。要装jdk,要在cygwin下使用。
文件名称:XSPIN-SPIN的图形界面工具
文件大小:185KB
文件格式:TCL
更新时间:2015-11-10 15:31:59
模型检测 SPIN XSPIN 图形界面
XSPIN是用java编写的spin的图形界面,大家应该在期刊论文上经常看到这个工具吧。让检测结果以图形的形式出现,大大增强的spin的易用性。有它产生的图,论文会翔实很多。要装jdk,要在cygwin下使用。