工程师方面有关论文范文素材,与高层综合动态等效检查器相关论文答辩开场白
本论文是一篇工程师方面有关论文答辩开场白,关于高层综合动态等效检查器相关毕业论文范文。免费优秀的关于工程师及时序及模型方面论文范文资料,适合工程师论文写作的大学硕士及本科毕业论文开题报告范文和学术职称论文参考文献下载。
wapproachtoprogramtesting.SIGPLANNotices”,Proc.InternationalConf.onReliableSoftware,10(6):228-233,1975[6]J.A.DarringerandJ.C.King,“Applicationsofsymbolicexecutiontoprogramtesting”,IEEEComputer,11.Vol.4,pp.51-60,1978
[7]J.A.Darringer,“Theapplicationofprogramverificationtechniquestohardwareverification”,Proc.ACM/IEEEDesignAutomationConference(DAC),1979.
[8]Formality,.省略
[9]EncounterConformal,.省略
[10]SLEC,.calypto
[11]B.CarrionSchaferandK.Wakabayashi,“DesignSpaceExplorationAccelerationthroughOperationClustering”,IEEETransactiononComputer-AidedDesignofIntegratedCircuitsandSystems(TCAD),29(1),pp.153-157
工程师方面有关论文范文素材,与高层综合动态等效检查器相关论文答辩开场白参考文献资料: