位置:成果数据库 > 会议 > 会议详情页
Using Dynamic Probe for Deadlock Detection in Component-Based System
  • 所属机构名称:北京大学
  • 会议名称:the Sixth International Conference on Innovative Mobile and Internet Services in Ubiquitous Computin
  • 时间:2012.7
  • 成果类型:会议
  • 相关项目:体系结构驱动的可信软件构造方法与技术研究
同会议论文项目
同项目会议论文