JPF相关论文
JPF（Java Pathfinder）是一种精确的Java字节码状态模型检测工具,为Java程序的模型检测提供了很好的实现方法,对并行程序中存在的死锁......
目前,Ajax成为web技术领域的研究热点。Ajax技术引进了异步调用,促使页面局部刷新,提升了用户体验。对比applet,flash等传统的web......
形式化方法是提高并发系统的安全性与可靠性的重要手段。模型检测是一种对有限状态并行系统进行形式化验证的方法,并已初步应用于......
目的：通过研究健脾活骨方药(JPF)不同部位对大鼠骨髓间充质干细胞(Bone marrow mesenchymal stem cells, BMSCs)增殖、迁移以及成骨......
化工行业因其化工原料大都具有易燃性、易爆炸性及腐蚀性,因而化工行业是工业中极易发生安全事故的领域。在化工安全设计中应考虑......
<正> 1 简述 JPF型膜折叠式空气除菌过滤器为第三代的空气除菌过滤器。80年代初,上海核工业第八研究所研制的NF型金属过滤器由于不......
