位置：成果数据库 > 会议 > 会议详情页
A novel quantitative evaluation approach for software project schedules using statistical model chec
  • 所属机构名称：华东师范大学
  • 会议名称：International Conference on Software Engineering
  • 时间：2014.5.31
  • 成果类型：会议
  • 相关项目：基于高阶规约定向测试的异构系统验证研究
同会议论文项目
基于高阶规约定向测试的异构系统验证研究
期刊论文 8 会议论文 9 著作 1
同项目会议论文
Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical mode
Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-lev
Variation-Aware Resource Allocation Evaluation for Cloud Workflows using Statistical Model Checking
Timing Analysis of UML Activity Diagrams Using Statistical Model
ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications
Assertion-Based Functional Consistency Checking between TLM and RTL Models
Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning
Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling