位置：成果数据库 > 会议 > 会议详情页
Formal Specification for Compiler Based Test Case Generation of Embedded Real-Time System
  • 所属机构名称：武汉大学
  • 会议名称：2011 International Conference on Business Intelligence and financial Engineering
  • 成果类型：会议
  • 相关项目：可信编译理论与实现方法研究
作者： 陈勇|刘健博|何炎祥|徐超|吴伟|
同会议论文项目
可信编译理论与实现方法研究
期刊论文 13 会议论文 4
同项目会议论文
On the Concept of Trusted Computing and Software Watermarking: A Computational Complexity Treatise
Detecting Buffer Overflow Vulnerabilities in C Programs Based on Colored Petri Nets
Genetic Algorithm Based Bank Selection for Partitioned Memory Architectures