位置：成果数据库 > 会议 > 会议详情页
A Threshold Autoregressive Mod
  • 所属机构名称：中国人民解放军国防科学技术大学
  • 成果类型：会议
  • 相关项目：实时系统的软件可靠性测试与验证
作者： X.E.Chen, Q.Quan, Y.F.Jia, K.Y
同会议论文项目
实时系统的软件可靠性测试与验证
期刊论文 55 会议论文 52 获奖 1 著作 2
同项目会议论文
Agent Oriented Programming bas
Runtime Verification of Java P
Automatic Generation of Markov
Towards a Framework for Scalab
Automatic Generation of Run-Ti
Verification of C Programs usi
Partial-Repeatability as a New
UML Based Statistical Testing
Modelling and Analysis of Powe
Automated WCET Analysis based
2/3 Alternating Simulation Bet
Configuration-Oriented Symboli
Stateful Dynamic Partial-Order
Towards a Control-Theoretical
Compatibility between shared v
A Contract-based Approach to S
An Overview of Software Cybern
Partition Testing with Dynamic
How to Test Software for Optim
Improve model checking efficie
Verifying Choreographic Descri
Checking Interval Based Proper
Towards an Agent Oriented Prog
Improvements Towards Formalizi
Removing Irrelevant Atomic For
An Efficient Defect Estimation
Towards Formal Interfaces for
Scenario-Based Timing Consiste
A Dynamic Partitioning Approac
A Case Study for Invalidating
Scenario-Based Verification of
Scenario-based Component Behav
Consistency Checking of Concur
Deriving Software Statistical
Caste-Centric Agent-Oriented P
Deriving Available Behavior Al
Scenario-based Component Behav
Contract-based Formal Specific
Property-Oriented Test Generat
Scenario mechanism in agent-or
On the Test Case Definition of
Optimal and Adaptive Testing w
Checking Component-Based Embe
Generating Test Cases from UML
Verifying Compositional Design
An Interface Theory Based Appr
Chaotic Analysis of Software A
Interface Theory based Formali
Towards an Efficient Path-Orie
Property-Oriented Testing of R
Automatic Test Case Generation