FACS 2006-2011 汇集

[{"title":"（ 120 个子文件 50.55MB ） FACS 2006-2011 汇集","children":[{"title":"Verifying Safety of Fault-Tolerant Distributed Components.pdf <span style='color:#111;'> 741.60KB </span>","children":null,"spread":false},{"title":"A proof assistant based formalization of MDE components.pdf <span style='color:#111;'> 492.77KB </span>","children":null,"spread":false},{"title":"The Logic of XACML – Extended.pdf <span style='color:#111;'> 454.49KB </span>","children":null,"spread":false},{"title":"Interactive Transformations from Object-Oriented Models to Component-Based Models.pdf <span style='color:#111;'> 859.01KB </span>","children":null,"spread":false},{"title":"Evaluating the performance of model transformation styles in Maude.pdf <span style='color:#111;'> 688.97KB </span>","children":null,"spread":false},{"title":"......","children":null,"spread":false},{"title":"<span style='color:steelblue;'>文件过多，未全部展示</span>","children":null,"spread":false}],"spread":true}]