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刪除。