uppaal的课件

[{"title":"（14个子文件10.52MB）uppaal的课件","children":[{"title":"SystemAnalysis_and_Verification_张苗苗","children":[{"title":"rfc3927.htm <span style='color:#111;'>83.14KB</span>","children":null,"spread":false},{"title":"ref.pdf <span style='color:#111;'>105.11KB</span>","children":null,"spread":false},{"title":"oconfigu.pdf <span style='color:#111;'>115.16KB</span>","children":null,"spread":false},{"title":"05.pdf <span style='color:#111;'>370.12KB</span>","children":null,"spread":false},{"title":"uppaal-4[1].0.6.zip <span style='color:#111;'>6.67MB</span>","children":null,"spread":false},{"title":"01(updated1+2).pdf <span style='color:#111;'>1.41MB</span>","children":null,"spread":false},{"title":"project.pdf <span style='color:#111;'>23.52KB</span>","children":null,"spread":false},{"title":"04.pdf <span style='color:#111;'>326.81KB</span>","children":null,"spread":false},{"title":"111.pdf <span style='color:#111;'>1.48MB</span>","children":null,"spread":false},{"title":"06.pdf <span style='color:#111;'>1001.36KB</span>","children":null,"spread":false},{"title":"Case.doc <span style='color:#111;'>23.00KB</span>","children":null,"spread":false},{"title":"cm.pdf <span style='color:#111;'>19.59KB</span>","children":null,"spread":false},{"title":"02.pdf <span style='color:#111;'>96.36KB</span>","children":null,"spread":false},{"title":"03.pdf <span style='color:#111;'>426.72KB</span>","children":null,"spread":false}],"spread":false}],"spread":true}]