String command = Thread.currentThread().getContextClassLoader().getResource("NuSMV.exe").getPath()+" "+
Thread.currentThread().getContextClassLoader().getResource("asmv.txt").getPath();
String command = Thread.currentThread().getContextClassLoader().getResource("NuSMV.exe").getPath()+" "+
Thread.currentThread().getContextClassLoader().getResource("asmv.txt").getPath();
本站转载的文章为个人学习借鉴使用,本站对版权不负任何法律责任。如果侵犯了您的隐私权益,请联系本站邮箱yoyou2525@163.com删除。