- Towards a Bisimulation Theory for Open Synchronized Networks... [2015-11-04]
- Security and privacy in vehicular networks [2015-10-28]
- Sustainable Extensibility in Big Data [2015-10-26]
- Soliton and rogue wave solutions to the complex short pulse ... [2015-10-23]
- Challenges of algorithmic intermediation [2015-10-16]
- IT转型时期的挑战和机遇 [2015-10-08]
- 高分辨率对地观测数据——大数据的时空框架 [2015-09-25]
- SoC设计与工程实践 [2015-09-23]
- In the Battle for the Security of Embedded System: Let Desig... [2015-09-11]
- In the Battle for the Security of Embedded System: Let Desig... [2015-09-11]
- An Integrated Solution for Software Testing and Quality Assu... [2015-09-02]
- My view on Research Methodology [2015-08-28]
- Coverage at the Formal Specification Level [2015-08-13]
- 密码Hash函数的碰撞攻击 [2015-07-06]
©2016 华东师范大学高可信计算重点实验室