文件名称：uppaal的课件
文件大小：10.52MB
文件格式：RAR
更新时间：2011-12-18 05:01:50
uppaal
同济软功课件。
【文件预览】：
SystemAnalysis_and_Verification_张苗苗
----rfc3927.htm(83KB)
----ref.pdf(105KB)
----oconfigu.pdf(115KB)
----05.pdf(370KB)
----uppaal-4[1].0.6.zip(6.67MB)
----01(updated 1+2).pdf(1.41MB)
----project.pdf(24KB)
----04.pdf(327KB)
----111.pdf(1.48MB)
----06.pdf(1001KB)
----Case.doc(23KB)
----cm.pdf(20KB)
----02.pdf(96KB)
----03.pdf(427KB)