位置：成果数据库 > 会议 > 会议详情页
Are timed automata bad for a specification language? Language inclusion checking for timed automata
  • 所属机构名称：浙江大学
  • 会议名称：20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems,
  • 时间：2014
  • 成果类型：会议
  • 相关项目：基于问题框架的FR/NFR关联追踪方法研究
作者： Ting Wang|Jun Sun|Yang Liu|Xinyu Wang|Shanping Li|
同会议论文项目
基于问题框架的FR/NFR关联追踪方法研究
期刊论文 11 会议论文 20
同项目会议论文
BOAT: An experimental platform for researchers to comparatively and reproducibly evaluate bug locali
<span style="color: red; font-family:;" calibri",sans-serif;font-size:10.5pt;"
<span lang="EN-US" style="FONT-FAMILY: 'Arial', 'sans-serif';
An Efficient Fault-tolerant Scheduling Algorithm for Periodic Real-time Tasks in Heterogeneous Platf
Cross-language bug localization
Geographic Location-Based Network-Aware QoS Prediction for Service Composition
More anti-chain based refinement checking
Privacy requirements patterns for mobile operating systems
QRA: A Quality Requirements Analysis Approach for Service Systems
Reputation-Aware QoS Value Prediction of Web Services
Tag recommendation in software information sites
Software internationalization and localization: An industrial experience
Build system analysis with link prediction
Build Predictor: More Accurate Missed Dependency Prediction in Build Configuration Files
An empirical study of bug report field reassignment
Automatic defect categorization based on fault triggering conditions
Towards More Accurate MultiLabel Software Behavior Learning
Towards more accurate content categorization of API discussions
Accurate developer recommendation for bug resolution