uppaal的课件

同济软功课件。

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----

     文件    1480737  2006-04-20 16:58  SystemAnalysis_and_Verification_张苗苗\01（updated 1+2）.pdf

     文件      98673  2006-04-23 07:05  SystemAnalysis_and_Verification_张苗苗\02.pdf

     文件     436960  2006-05-16 10:03  SystemAnalysis_and_Verification_张苗苗\03.pdf

     文件     334651  2006-05-16 18:03  SystemAnalysis_and_Verification_张苗苗\04.pdf

     文件     379002  2006-05-24 08:47  SystemAnalysis_and_Verification_张苗苗\05.pdf

     文件    1025391  2006-05-29 12:47  SystemAnalysis_and_Verification_张苗苗\06.pdf

     文件    1556389  2007-03-18 20:43  SystemAnalysis_and_Verification_张苗苗\111.pdf

     文件      23552  2006-06-01 10:35  SystemAnalysis_and_Verification_张苗苗\Case.doc

     文件      20056  2006-06-06 16:43  SystemAnalysis_and_Verification_张苗苗\cm.pdf

     文件     117923  2006-06-13 16:39  SystemAnalysis_and_Verification_张苗苗\oconfigu.pdf

     文件      24083  2006-06-15 11:02  SystemAnalysis_and_Verification_张苗苗\project.pdf

     文件     107633  2007-03-16 18:03  SystemAnalysis_and_Verification_张苗苗\ref.pdf

     文件      85139  2006-06-02 16:29  SystemAnalysis_and_Verification_张苗苗\rfc3927.htm

     文件    6992522  2007-05-21 08:34  SystemAnalysis_and_Verification_张苗苗\uppaal-4[1].0.6.zip

     目录          0  2008-11-21 13:35  SystemAnalysis_and_Verification_张苗苗

----------- ---------  ---------- -----  ----

             12682711                    15